| /dports/lang/maude/maude-2.7.1/src/Interface/ |
| H A D | unificationSubproblem.hh | 34 …virtual void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution)… in addUnification() function in UnificationSubproblem
|
| H A D | ChangeLog | 341 decl for addUnification()
346 decl for addUnification
|
| /dports/lang/maude/maude-2.7.1/src/Core/ |
| H A D | unificationSubproblemDisjunction.hh | 42 void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution);
|
| H A D | compoundCycleSubproblem.hh | 37 void addUnification(DagNode* lhs, DagNode* rhs);
|
| H A D | unificationSubproblemDisjunction.cc | 43 UnificationSubproblemDisjunction::addUnification(DagNode* lhs, DagNode* rhs, bool /* marked */, Uni… in addUnification() function in UnificationSubproblemDisjunction
|
| H A D | compoundCycleSubproblem.cc | 153 CompoundCycleSubproblem::addUnification(DagNode* lhs, DagNode* rhs) in addUnification() function in CompoundCycleSubproblem
|
| H A D | pendingUnificationStack.cc | 252 sp->addUnification(p.lhs, p.rhs, p.marked, solution); in makeNewSubproblem()
|
| H A D | ChangeLog | 55 don't define addUnification()
57 * compoundCycleSubproblem.cc (addUnification): moved here to try
832 (UnificationSubproblemDisjunction::addUnification): take mark argument
841 addUnification()
872 UnificationSubproblemDisjunction): updated decl for addUnification()
875 (UnificationSubproblemDisjunction::addUnification): take solution arg
879 addUnification()
|
| /dports/lang/maude/maude-2.7.1/src/CUI_Theory/ |
| H A D | CUI_UnificationSubproblem.hh | 46 void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution);
|
| H A D | CUI_UnificationSubproblem2.hh | 46 void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution);
|
| H A D | CUI_UnificationSubproblem.cc | 83 CUI_UnificationSubproblem::addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationConte… in addUnification() function in CUI_UnificationSubproblem
|
| H A D | CUI_UnificationSubproblem2.cc | 83 CUI_UnificationSubproblem2::addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationCont… in addUnification() function in CUI_UnificationSubproblem2
|
| H A D | ChangeLog | 142 updated decl for addUnification()
145 (CUI_UnificationSubproblem::addUnification): take marked arg
150 (CUI_UnificationSubproblem::addUnification): take solution argument
153 updated decl for addUnification()
|
| /dports/lang/maude/maude-2.7.1/src/AU_Theory/ |
| H A D | AU_UnificationSubproblem2.hh | 45 void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution);
|
| H A D | AU_UnificationSubproblem2.cc | 97 AU_UnificationSubproblem2::addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationConte… in addUnification() function in AU_UnificationSubproblem2
|
| H A D | ChangeLog | 218 (addUnification): clear problem field
|
| /dports/lang/maude/maude-2.7.1/src/ACU_Theory/ |
| H A D | ACU_UnificationSubproblem2.hh | 49 void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution);
|
| H A D | ACU_UnificationSubproblem2.cc | 96 ACU_UnificationSubproblem2::addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationCont… in addUnification() function in ACU_UnificationSubproblem2
|
| H A D | ChangeLog | 3 * ACU_UnificationSubproblem2.cc (addUnification): check for subtermIndex
64 (addUnification): code cleaning
207 (ACU_UnificationSubproblem2::addUnification): handle variable rhs
217 ACU_UnificationSubproblem2): updated decl for addUnification()
220 (ACU_UnificationSubproblem2::addUnification): handle marked
233 (ACU_UnificationSubproblem2::addUnification): take solution as
235 (ACU_UnificationSubproblem2::addUnification): simplified; keep set
250 ACU_UnificationSubproblem2): updated decl for addUnification()
299 (ACU_UnificationSubproblem2::addUnification): use hasIdentity()
324 (ACU_UnificationSubproblem2::addUnification): handle the theory
[all …]
|