def test_basic(self):
varA = Symbol("A")
f = And(varA, Not(varA))
self.assertEqual(f.size(), 4)
self.assertEqual(f.size(SizeOracle.MEASURE_TREE_NODES), 4)
self.assertEqual(f.size(SizeOracle.MEASURE_DAG_NODES), 3)
self.assertEqual(varA.size(SizeOracle.MEASURE_LEAVES), 1)
self.assertEqual(f.size(SizeOracle.MEASURE_DEPTH), 3)
self.assertEqual(f.size(SizeOracle.MEASURE_SYMBOLS), 1)
def test_basic(self):
varA = Symbol("A")
f = And(varA, Not(varA))
self.assertEqual(f.size(), 4)
self.assertEqual(f.size(SizeOracle.MEASURE_TREE_NODES), 4)
self.assertEqual(f.size(SizeOracle.MEASURE_DAG_NODES), 3)
self.assertEqual(varA.size(SizeOracle.MEASURE_LEAVES), 1)
self.assertEqual(f.size(SizeOracle.MEASURE_DEPTH), 3)
self.assertEqual(f.size(SizeOracle.MEASURE_SYMBOLS), 1)
def test_leaf(self):
varA = Symbol("A")
self.assertEqual(varA.size(), 1)
self.assertEqual(varA.size(SizeOracle.MEASURE_TREE_NODES), 1)
self.assertEqual(varA.size(SizeOracle.MEASURE_DAG_NODES), 1)
self.assertEqual(varA.size(SizeOracle.MEASURE_LEAVES), 1)
self.assertEqual(varA.size(SizeOracle.MEASURE_DEPTH), 1)
self.assertEqual(varA.size(SizeOracle.MEASURE_SYMBOLS), 1)
def test_leaf(self):
varA = Symbol("A")
self.assertEqual(varA.size(), 1)
self.assertEqual(varA.size(SizeOracle.MEASURE_TREE_NODES), 1)
self.assertEqual(varA.size(SizeOracle.MEASURE_DAG_NODES), 1)
self.assertEqual(varA.size(SizeOracle.MEASURE_LEAVES), 1)
self.assertEqual(varA.size(SizeOracle.MEASURE_DEPTH), 1)
self.assertEqual(varA.size(SizeOracle.MEASURE_SYMBOLS), 1)
def test_error(self):
varA = Symbol("A")
with self.assertRaises(NotImplementedError):
varA.size("non-existent")
def test_error(self):
varA = Symbol("A")
with self.assertRaises(NotImplementedError):
varA.size("non-existent")
