Searched defs:UnificationContext (Results 1 – 5 of 5) sorted by relevance
/dports/lang/maude/maude-2.7.1/src/Core/ |
H A D | unificationSubproblemDisjunction.cc | 43 …ion::addUnification(DagNode* lhs, DagNode* rhs, bool /* marked */, UnificationContext& /* solution… in addUnification() argument 52 UnificationSubproblemDisjunction::solve(bool findFirst, UnificationContext& /* solution */, Pending… in solve() argument
|
H A D | unificationContext.hh | 37 class UnificationContext : public Substitution, private SimpleRootContainer class
|
H A D | unificationContext.cc | 48 UnificationContext::UnificationContext(FreshVariableGenerator* freshVariableGenerator, int nrOrigin… in UnificationContext() function in UnificationContext
|
/dports/lang/maude/maude-2.7.1/src/CUI_Theory/ |
H A D | CUI_UnificationSubproblem.cc | 83 …ubproblem::addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& /* solution… in addUnification() argument
|
H A D | CUI_UnificationSubproblem2.cc | 83 …bproblem2::addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& /* solution… in addUnification() argument
|