Characteristic predicate Testing::BDDTest::BDDTest

BDDTest()