| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | theory_simulate.h | 51 SimulateProofRules* createProofRules();
|
| H A D | theory_uf.h | 78 UFProofRules* createProofRules();
|
| H A D | theorem_manager.h | 57 CommonProofRules* createProofRules();
|
| H A D | theory_array.h | 85 ArrayProofRules* createProofRules();
|
| H A D | theory_records.h | 62 RecordsProofRules* createProofRules();
|
| H A D | theory_datatype.h | 88 DatatypeProofRules* createProofRules();
|
| H A D | cnf_manager.h | 122 CVC3::CNF_Rules* createProofRules(CVC3::TheoremManager* tm, const CVC3::CLFlags&);
|
| H A D | theory_core.h | 249 CoreProofRules* createProofRules(TheoremManager* tm);
|
| H A D | theory_bitvector.h | 272 BitvectorProofRules* createProofRules();
|
| H A D | theory_arith_new.h | 235 ArithProofRules* createProofRules();
|
| H A D | theory_quant.h | 724 QuantProofRules* createProofRules();
|
| /dports/math/cvc3/cvc3-2.4.1/src/theorem/ |
| H A D | theorem_manager.cpp | 65 d_rules = createProofRules(); in TheoremManager()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_simulate/ |
| H A D | simulate_theorem_producer.cpp | 38 SimulateProofRules* TheorySimulate::createProofRules() { in createProofRules() function in TheorySimulate
|
| H A D | theory_simulate.cpp | 38 d_rules = createProofRules(); in TheorySimulate()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_uf/ |
| H A D | uf_theorem_producer.cpp | 41 UFProofRules* TheoryUF::createProofRules() { in createProofRules() function in TheoryUF
|
| H A D | theory_uf.cpp | 52 d_rules = createProofRules(); in TheoryUF()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_datatype/ |
| H A D | datatype_theorem_producer.cpp | 42 TheoryDatatype::createProofRules() { in createProofRules() function in TheoryDatatype
|
| /dports/math/cvc3/cvc3-2.4.1/src/sat/ |
| H A D | cnf_theorem_producer.cpp | 38 CNF_Rules* CNF_Manager::createProofRules(TheoremManager* tm, const CLFlags& flags) { in createProofRules() function in CNF_Manager
|
| H A D | cnf_manager.cpp | 48 d_rules = createProofRules(tm, flags); in CNF_Manager()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_records/ |
| H A D | records_theorem_producer.cpp | 32 RecordsProofRules* TheoryRecords::createProofRules() { in createProofRules() function in TheoryRecords
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_array/ |
| H A D | array_theorem_producer.cpp | 41 ArrayProofRules* TheoryArray::createProofRules() { in createProofRules() function in TheoryArray
|
| H A D | theory_array.cpp | 53 d_rules = createProofRules(); in TheoryArray()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_core/ |
| H A D | core_theorem_producer.cpp | 45 CoreProofRules* TheoryCore::createProofRules(TheoremManager* tm) { in createProofRules() function in TheoryCore
|
| /dports/math/cvc3/cvc3-2.4.1/doc/ |
| H A D | theory_api.dox | 575 d_rules = createProofRules(vcl); // instantiate our own rules
1391 FooProofRules* createProofRules(VCL* vcl);
1398 part of the code, the implementation of <tt>createProofRules()</tt>
1407 FooProofRules* TheoryFoo::createProofRules(VCL* vcl) {
1414 <tt>d_rules</tt> is initialized by calling <tt>createProofRules()</tt>:
1421 d_rules = createProofRules(vcl);
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_quant/ |
| H A D | quant_theorem_producer.cpp | 39 QuantProofRules* TheoryQuant::createProofRules() { in createProofRules() function in TheoryQuant
|