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_error(self): varA = Symbol("A") with self.assertRaises(NotImplementedError): varA.size("non-existent")