Searched refs:BITBLAST_MODE_LAZY (Results 1 – 9 of 9) sorted by relevance
35 BITBLAST_MODE_LAZY, enumerator
25 case theory::bv::BITBLAST_MODE_LAZY: in operator <<()
1167 if (options::bitblastMode() == theory::bv::BITBLAST_MODE_LAZY && in stringToSatSolver()1187 if (options::bitblastMode() == theory::bv::BITBLAST_MODE_LAZY in stringToSatSolver()1288 return theory::bv::BITBLAST_MODE_LAZY; in stringToBitblastMode()
34 default = "CVC4::theory::bv::BITBLAST_MODE_LAZY"
56 if (options::bitblastMode() == bv::BITBLAST_MODE_LAZY && changed) in applyInternal()
123 Assert(options::bitblastMode() == theory::bv::BITBLAST_MODE_LAZY); in check()
915 Assert (options::bitblastMode() == theory::bv::BITBLAST_MODE_LAZY); in getEqualityStatus()
1085 if (options::bitblastMode() == theory::bv::BITBLAST_MODE_LAZY) { in addInputAtom()
256 Assert(options::bitblastMode() == theory::bv::BITBLAST_MODE_LAZY); in check()