Home
last modified time | relevance | path

Searched refs:QCF_PROP_EQ (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/options/
H A Dquantifiers_modes.h79 QCF_PROP_EQ, enumerator
H A Doptions_handler.cpp707 return theory::quantifiers::QCF_PROP_EQ; in stringToQcfMode()
H A Dquantifiers_options.toml642 default = "CVC4::theory::quantifiers::QCF_PROP_EQ"
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dquant_conflict_find.cpp1939 return options::qcfMode() == QCF_PROP_EQ ? QuantConflictFind::EFFORT_PROP_EQ in QcfEffortEnd()