Searched defs:needAbsRef (Results 1 – 2 of 2) sorted by relevance
35 bool needAbsRef) in CallSAT()88 void ToSATAIG::handle_cnf_options(Cnf_Dat_t* cnfData, bool needAbsRef) in handle_cnf_options()114 Cnf_Dat_t* ToSATAIG::bitblast(const ASTNode& input, bool needAbsRef) in bitblast()
59 void ToCNFAIG::dag_aware_aig_rewrite(const bool needAbsRef, in dag_aware_aig_rewrite()102 ToSATBase::ASTNodeToSATVar& nodeToVars, bool needAbsRef, in toCNF()