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


1.3
date	94.10.25.22.17.31;	author monica;	state Exp;
branches;
next	1.2;

1.2
date	94.08.24.00.30.59;	author monica;	state Exp;
branches;
next	1.1;

1.1
date	94.02.18.19.04.46;	author thoth;	state Exp;
branches;
next	;


desc
@test of valueset restriction.
@


1.3
log
@*** empty log message ***
@
text
@// Emacs -*- C++ -*-
static char test119_rcsid[] = "$Id: test119.c,v 1.2 1994/08/24 00:30:59 monica Exp monica $";

/* Test restriction of an image to a valueset that results in an image
   with an empty domain */

//
// $Log: test119.c,v $
// Revision 1.2  1994/08/24  00:30:59  monica
// int main & exit(0)
//
//Revision 1.1  1994/02/18  19:04:46  thoth
//Initial revision
//

#include <iostream.h>
#include <IntDI.h>

typedef IA_Image<IA_Point<int>,int>   IA_IntDiscreteImage;
typedef IA_Set<IA_Point<int> > IA_IntPointSet;
typedef IA_Point<int> IA_IntPoint;

int main()
{
  IA_IntDiscreteImage	img(IA_IntPointSet(IA_IntPoint(0,0),
					   IA_IntPoint(63,63)),
			    4);

  IA_IntDiscreteImage	i2 = img.restrict(IA_Set<int>(1));
  cout << i2.domain().card() << endl;
//  cout << i2.domain().choice() << endl;

  exit(0);
}



@


1.2
log
@int main & exit(0)
@
text
@d2 1
a2 1
static char test119_rcsid[] = "$Id: test119.c,v 1.1 1994/02/18 19:04:46 thoth Exp monica $";
d9 3
d19 4
d29 1
a29 1
  IA_IntDiscreteImage	i2 = img.restrict(IA_ValueSet<int>(1));
d31 1
a31 1
  cout << i2.domain().choice() << endl;
d35 3
@


1.1
log
@Initial revision
@
text
@d2 1
a2 1
static char test119_rcsid[] = "$Id: test105.c,v 1.1 93/03/10 13:57:00 thoth Exp $";
d8 4
a11 1
// $Log$
d16 1
a16 1
main()
d25 2
@
