Searched refs:BVToBool (Results 1 – 3 of 3) sorted by relevance
36 BVToBool::BVToBool(PreprocessingPassContext* preprocContext) in BVToBool() function in CVC4::preprocessing::passes::BVToBool66 Node BVToBool::getLiftCache(TNode term) const in getLiftCache()72 bool BVToBool::hasLiftCache(TNode term) const in hasLiftCache()86 Node BVToBool::getBoolCache(TNode term) const in getBoolCache()92 bool BVToBool::hasBoolCache(TNode term) const in hasBoolCache()96 bool BVToBool::isConvertibleBvAtom(TNode node) in isConvertibleBvAtom()127 Node BVToBool::convertBvAtom(TNode node) in convertBvAtom()142 Node BVToBool::convertBvTerm(TNode node) in convertBvTerm()233 Node BVToBool::liftNode(TNode current) in liftNode()288 BVToBool::Statistics::Statistics() in Statistics()[all …]
33 class BVToBool : public PreprocessingPass37 BVToBool(PreprocessingPassContext* preprocContext);
131 registerPassInfo("bv-to-bool", callCtor<BVToBool>); in PreprocessingPassRegistry()