head	1.4;
access;
symbols
	r1_1_beta:1.4
	r1_1_alpha:1.4
	r1_0:1.4
	r0_11:1.4
	r0_10:1.4
	r0_9:1.4
	Eglin_alpha_1:1.4;
locks; strict;
comment	@ * @;


1.4
date	92.12.14.16.41.35;	author jm;	state Exp;
branches;
next	1.3;

1.3
date	92.09.29.15.33.02;	author jm;	state Exp;
branches;
next	1.2;

1.2
date	92.09.16.17.03.13;	author jm;	state Exp;
branches;
next	1.1;

1.1
date	92.09.16.16.43.54;	author jm;	state Exp;
branches;
next	;


desc
@provides functions for testing intersection, union, difference and
symmetric difference of value sets
@


1.4
log
@ Renamed class ValueSet to IA_ValueSet
@
text
@/*  $RCS$
    $Log:	generic-tests.h,v $
 * Revision 1.3  92/09/29  15:33:02  jm
 * *** empty log message ***
 * 
 * Revision 1.2  92/09/16  17:03:13  jm
 * *** empty log message ***
 * 
*/

#ifndef generic_tests_h_
#define generic_tests_h_

#include "ValueSet.h"

template <class ValueType>
void test_union(IA_ValueSet<ValueType>, IA_ValueSet<ValueType>, 
                IA_ValueSet<ValueType>);

template <class ValueType>
void test_inter(IA_ValueSet<ValueType>, IA_ValueSet<ValueType>, 
                IA_ValueSet<ValueType>);

template <class ValueType>
void test_sdiff(IA_ValueSet<ValueType>, IA_ValueSet<ValueType>, 
                IA_ValueSet<ValueType>);

template <class ValueType>
void test_minus(IA_ValueSet<ValueType>, IA_ValueSet<ValueType>, 
                IA_ValueSet<ValueType>);

#endif
@


1.3
log
@*** empty log message ***
@
text
@d3 3
d17 2
a18 1
void test_union(ValueSet<ValueType>, ValueSet<ValueType>, ValueSet<ValueType>);
d21 2
a22 1
void test_inter(ValueSet<ValueType>, ValueSet<ValueType>, ValueSet<ValueType>);
d25 2
a26 1
void test_sdiff(ValueSet<ValueType>, ValueSet<ValueType>, ValueSet<ValueType>);
d29 2
a30 1
void test_minus(ValueSet<ValueType>, ValueSet<ValueType>, ValueSet<ValueType>);
@


1.2
log
@*** empty log message ***
@
text
@d2 4
a5 1
    $Log$
@


1.1
log
@Initial revision
@
text
@d1 3
a3 5
// Emacs: -*- C++ -*-

// 
// $Log$
//
@
