Searched refs:handleUserAttribute (Results 1 – 6 of 6) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | theory_quantifiers.cpp | 43 out.handleUserAttribute( "axiom", this ); in TheoryQuantifiers()
44 out.handleUserAttribute( "conjecture", this ); in TheoryQuantifiers()
45 out.handleUserAttribute( "fun-def", this ); in TheoryQuantifiers()
46 out.handleUserAttribute( "sygus", this ); in TheoryQuantifiers()
47 out.handleUserAttribute("quant-name", this); in TheoryQuantifiers()
48 out.handleUserAttribute("sygus-synth-grammar", this); in TheoryQuantifiers()
49 out.handleUserAttribute( "sygus-synth-fun-var-list", this ); in TheoryQuantifiers()
50 out.handleUserAttribute( "quant-inst-max-level", this ); in TheoryQuantifiers()
51 out.handleUserAttribute( "rr-priority", this ); in TheoryQuantifiers()
52 out.handleUserAttribute( "quant-elim", this ); in TheoryQuantifiers()
[all …]
|
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | output_channel.h | 184 virtual void handleUserAttribute(const char* attr, Theory* t) {} in handleUserAttribute() function
|
| H A D | theory_engine.h | 332 void handleUserAttribute(const char* attr, theory::Theory* t) override { in handleUserAttribute() function
333 d_engine->handleUserAttribute(attr, t); in handleUserAttribute()
920 void handleUserAttribute(const char* attr, theory::Theory* t);
|
| H A D | theory_test_utils.h | 90 void handleUserAttribute(const char* attr, theory::Theory* t) override {} in handleUserAttribute() function
|
| H A D | theory_engine.cpp | 2167 void TheoryEngine::handleUserAttribute(const char* attr, Theory* t) { in handleUserAttribute() function in CVC4::TheoryEngine
|
| /dports/math/cvc4/CVC4-1.7/test/unit/theory/ |
| H A D | theory_engine_white.h | 68 void handleUserAttribute(const char* attr, Theory* t) override { in handleUserAttribute() function
|