Searched refs:QCF_PROP_EQ (Results 1 – 4 of 4) sorted by relevance
79 QCF_PROP_EQ, enumerator
707 return theory::quantifiers::QCF_PROP_EQ; in stringToQcfMode()
642 default = "CVC4::theory::quantifiers::QCF_PROP_EQ"
1939 return options::qcfMode() == QCF_PROP_EQ ? QuantConflictFind::EFFORT_PROP_EQ in QcfEffortEnd()