1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
// -*- c++ -*-
//*****************************************************************************
/** @file SetFactoryTest.cc
*
* @author Alexander Dreyer
* @date 2011-05-05
*
* boost/test-driven unit test
*
* @par Copyright:
* (c) 2011 by The PolyBoRi Team
*
**/
//*****************************************************************************
#include <boost/test/unit_test.hpp>
#include <boost/version.hpp>
#if BOOST_VERSION < 107100
#include <boost/test/output_test_stream.hpp>
#else
#include <boost/test/tools/output_test_stream.hpp>
#endif
using boost::test_tools::output_test_stream;
#include <polybori/pbori_defs.h>
#include <polybori/factories/SetFactory.h>
#include <polybori/BoolePolyRing.h>
USING_NAMESPACE_PBORI
struct Fsetfac {
Fsetfac(const BoolePolyRing& input_ring = BoolePolyRing(5)):
ring(input_ring),
x(0, input_ring), y(1, input_ring), z(2, input_ring),
v(3, input_ring), w(4, input_ring) {
BOOST_TEST_MESSAGE( "setup fixture" );
ring.setVariableName(0, "x");
ring.setVariableName(1, "y");
ring.setVariableName(2, "z");
ring.setVariableName(3, "v");
ring.setVariableName(4, "w");
}
~Fsetfac() { BOOST_TEST_MESSAGE( "teardown fixture" ); }
BoolePolyRing ring;
BooleVariable x, y, z, v, w;
};
BOOST_FIXTURE_TEST_SUITE(SetFactoryTest, Fsetfac )
BOOST_AUTO_TEST_CASE(test_constructors) {
SetFactory factory(ring);
SetFactory factory_copy(factory);
BOOST_CHECK_EQUAL(factory.parent().hash(), ring.hash());
BOOST_CHECK_EQUAL(factory_copy.parent().hash(), ring.hash());
}
BOOST_AUTO_TEST_CASE(test_pseudo_constructors) {
SetFactory factory(ring);
BOOST_TEST_MESSAGE( "Constant sets..." );
BOOST_CHECK_EQUAL(factory(), ring.zero());
BOOST_CHECK_EQUAL(factory(ring), ring.zero());
BOOST_TEST_MESSAGE( "Sets from navigators..." );
BoolePolynomial poly = y + y*z + z + v;
BOOST_CHECK_EQUAL(factory(poly.navigation(), ring), poly.set());
BOOST_CHECK_EQUAL(factory(poly.navigation()), poly.set());
BOOST_CHECK_EQUAL(factory(*poly.navigation(),
poly.navigation().thenBranch(),
poly.navigation().elseBranch(), ring), poly.set());
BOOST_CHECK_EQUAL(factory(*poly.navigation(),
poly.navigation().thenBranch(),
poly.navigation().elseBranch()), poly.set());
BOOST_TEST_MESSAGE( "Combine sets..." );
BOOST_CHECK_EQUAL(factory(*poly.navigation(),
poly.set().subset1(*poly.navigation()),
poly.set().subset0(*poly.navigation())), poly.set());
}
BOOST_AUTO_TEST_SUITE_END()
|
