| /dports/math/cvc4/CVC4-1.7/src/theory/datatypes/ |
| H A D | theory_datatypes.cpp | 128 EqcInfo * ei = getOrMakeEqcInfo( r, false ); in getEqcConstructor()
200 EqcInfo* eqc = getOrMakeEqcInfo( n ); in check()
494 EqcInfo* eqc = getOrMakeEqcInfo( rep, true ); in assertFact()
801 getOrMakeEqcInfo( t, true ); in eqNotifyNewClass()
823 EqcInfo* eqc2 = getOrMakeEqcInfo( t2 ); in merge()
829 EqcInfo* eqc1 = getOrMakeEqcInfo( t1 ); in merge()
888 eqc1 = getOrMakeEqcInfo( t1, true ); in merge()
1517 EqcInfo* ei = getOrMakeEqcInfo( eqc ); in collectModelInfo()
1550 EqcInfo* ei = getOrMakeEqcInfo( eqc ); in collectModelInfo()
2167 EqcInfo* ei = getOrMakeEqcInfo( eqc ); in printModelDebug()
[all …]
|
| H A D | theory_datatypes.h | 243 EqcInfo* getOrMakeEqcInfo( TNode n, bool doMake = false );
|
| /dports/math/cvc4/CVC4-1.7/src/theory/sets/ |
| H A D | theory_sets_rels.h | 144 EqcInfo* getOrMakeEqcInfo( Node n, bool doMake = false );
|
| H A D | theory_sets_rels.cpp | 1326 getOrMakeEqcInfo( n, true ); in eqNotifyNewClass()
1329 EqcInfo* rel_ei = getOrMakeEqcInfo( relRep_of_tc, true ); in eqNotifyNewClass()
1355 EqcInfo* ei = getOrMakeEqcInfo( t2_1rep, true ); in eqNotifyPostMerge()
1392 EqcInfo* t1_ei = getOrMakeEqcInfo( t1 ); in eqNotifyPostMerge()
1393 EqcInfo* t2_ei = getOrMakeEqcInfo( t2 ); in eqNotifyPostMerge()
1500 EqcInfo* new_t1_ei = getOrMakeEqcInfo( t1, true ); in eqNotifyPostMerge()
1646 TheorySetsRels::EqcInfo* TheorySetsRels::getOrMakeEqcInfo( Node n, bool doMake ){ in getOrMakeEqcInfo() function in CVC4::theory::sets::TheorySetsRels
|
| H A D | theory_sets_private.h | 108 EqcInfo* getOrMakeEqcInfo( TNode n, bool doMake = false );
|
| H A D | theory_sets_private.cpp | 84 EqcInfo * e = getOrMakeEqcInfo( t, true ); in eqNotifyNewClass()
100 EqcInfo * e2 = getOrMakeEqcInfo( t2 ); in eqNotifyPostMerge()
103 EqcInfo * e1 = getOrMakeEqcInfo( t1 ); in eqNotifyPostMerge()
126 e1 = getOrMakeEqcInfo( t1, true ); in eqNotifyPostMerge()
201 TheorySetsPrivate::EqcInfo* TheorySetsPrivate::getOrMakeEqcInfo( TNode n, bool doMake ){ in getOrMakeEqcInfo() function in CVC4::theory::sets::TheorySetsPrivate
380 EqcInfo * e = getOrMakeEqcInfo( r, true ); in assertFact()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
| H A D | theory_sep.h | 272 HeapAssertInfo * getOrMakeEqcInfo( Node n, bool doMake = false );
|
| H A D | theory_sep.cpp | 501 HeapAssertInfo * ei = getOrMakeEqcInfo( r, true ); in check()
842 TheorySep::HeapAssertInfo * TheorySep::getOrMakeEqcInfo( Node n, bool doMake ) { in getOrMakeEqcInfo() function in CVC4::theory::sep::TheorySep
1583 HeapAssertInfo * e2 = getOrMakeEqcInfo( t2, false ); in eqNotifyPostMerge()
1585 HeapAssertInfo * e1 = getOrMakeEqcInfo( t1, true ); in eqNotifyPostMerge()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/strings/ |
| H A D | theory_strings.cpp | 235 EqcInfo * ei = getOrMakeEqcInfo( t, false ); in getLengthExp()
681 EqcInfo* eip = getOrMakeEqcInfo(eqc, false); in collectModelInfo()
988 EqcInfo * ei = getOrMakeEqcInfo( eqc, false ); in check()
1123 EqcInfo * ei = getOrMakeEqcInfo( r, true ); in eqNotifyNewClass()
1141 EqcInfo * e2 = getOrMakeEqcInfo(t2, false); in eqNotifyPreMerge()
1143 EqcInfo * e1 = getOrMakeEqcInfo( t1 ); in eqNotifyPreMerge()
2575 EqcInfo* ei = getOrMakeEqcInfo(eqc, false); in checkCodes()
4416 EqcInfo* ei = getOrMakeEqcInfo( n[i], false ); in checkNormalFormsDeq()
4465 EqcInfo* ei = getOrMakeEqcInfo( d_strings_eqc[i], false ); in checkLengthsEqc()
4583 EqcInfo* ei = getOrMakeEqcInfo( lr, true ); in checkCardinality()
[all …]
|
| H A D | theory_strings.h | 423 EqcInfo * getOrMakeEqcInfo( Node eqc, bool doMake = true );
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | conjecture_generator.h | 288 EqcInfo* getOrMakeEqcInfo( TNode n, bool doMake = false );
|
| H A D | conjecture_generator.cpp | 143 ei = getOrMakeEqcInfo( t1, true ); in eqNotifyPreMerge()
165 ConjectureGenerator::EqcInfo* ConjectureGenerator::getOrMakeEqcInfo( TNode n, bool doMake ) { in getOrMakeEqcInfo() function in CVC4::ConjectureGenerator
297 EqcInfo * ei = getOrMakeEqcInfo( r ); in getUniversalRepresentative()
|