head	1.1;
access
	thoth
	monica;
symbols;
locks
	monica:1.1; strict;
comment	@// @;


1.1
date	94.10.19.18.36.21;	author monica;	state Exp;
branches;
next	;


desc
@@


1.1
log
@Initial revision
@
text
@//  $RCS$
 
//  $Log$


#include "test.h"

int main()
{
IA::abort_on_throw=0;

#define q(a) cout << "\n\t~a & a should be empty\n";\
    cout<<"a = ";\
	set(a);\
	if (a.extensive()) \
	    cout << "a is extensive\n";\
	else\
	    cout << "a is not extensive\n";\
	cout<<"\n\t ~a & a result:";\
	set(~a & a);\
	if (~a.extensive()) \
	    cout << "~a is extensive\n";\
	else\
	    cout << "~a is not extensive\n";\
	cout << "\n"

 
q(s11);
q(s12);
q(s11);
q(s13);

q(s21);
q(s22);
q(s23);
q(s24);

q(s31);
q(s32);
q(s33);
q(s34);
q(s35);

    return 0;

}












@
