Searched defs:processAssertion (Results 1 – 10 of 10) sorted by relevance
91 bool TheoryIdl::processAssertion(const IDLAssertion& assertion) { in processAssertion() function in CVC4::theory::idl::TheoryIdl
636 private static function processAssertion( function in sspmod_saml_Message
663 private static function processAssertion( function in SimpleSAML\\Module\\saml\\Message
130 bool QuantifierMacros::processAssertion( Node n ) { in processAssertion() function in CVC4::preprocessing::passes::QuantifierMacros
227 bool BvInstantiator::processAssertion(CegInstantiator* ci, in processAssertion() function in CVC4::theory::quantifiers::BvInstantiator
142 bool ArithInstantiator::processAssertion(CegInstantiator* ci, in processAssertion() function in CVC4::theory::quantifiers::ArithInstantiator
772 virtual bool processAssertion(CegInstantiator* ci, in processAssertion() function
601 Node StringsPreprocess::processAssertion( Node n, std::vector< Node > &new_nodes ) { in processAssertion() function in CVC4::theory::strings::StringsPreprocess
1368 static int processAssertion (tokenInfo *const token, int c) in processAssertion() function
890 int TheorySep::processAssertion( Node n, std::map< int, std::map< Node, int > >& visited, in processAssertion() function in CVC4::theory::sep::TheorySep