Searched defs:getSomeDomainElement (Results 1 – 2 of 2) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ | ||
H A D | first_order_model.cpp | 181 Node FirstOrderModel::getSomeDomainElement(TypeNode tn){ in getSomeDomainElement() function in CVC4::theory::quantifiers::FirstOrderModel |
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/fmf/ | ||
H A D | full_model_check.cpp | 1255 Node FullModelChecker::getSomeDomainElement( FirstOrderModelFmc * fm, TypeNode tn ) { in getSomeDomainElement() function in FullModelChecker |