Home
last modified time | relevance | path

Searched refs:UnificationContext (Results 1 – 25 of 43) sorted by relevance

12

/dports/lang/maude/maude-2.7.1/src/AU_Theory/
H A DAU_UnificationSubproblem2.hh45 void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution);
46 bool solve(bool findFirst, UnificationContext& solution, PendingUnificationStack& pending);
65 int dagToAbstract(DagNode* dagNode, UnificationContext& solution);
66 void assocToAbstract(DagNode* dagNode, WordSystem::Word& word, UnificationContext& solution);
67 void makeWordSystem(UnificationContext& solution);
68 void unsolve(int index, UnificationContext& solution);
69 DagNode* abstractToFreshVariable(int variableIndex, UnificationContext& solution);
70 bool buildSolution(UnificationContext& solution, PendingUnificationStack& pending);
H A DAU_UnificationSubproblem2.cc97 …nSubproblem2::addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution) in addUnification()
125 AU_UnificationSubproblem2::dagToAbstract(DagNode* dagNode, UnificationContext& solution) in dagToAbstract()
150 …ubproblem2::assocToAbstract(DagNode* dagNode, WordSystem::Word& word, UnificationContext& solution) in assocToAbstract()
160 AU_UnificationSubproblem2::makeWordSystem(UnificationContext& solution) in makeWordSystem()
222 AU_UnificationSubproblem2::unsolve(int index, UnificationContext& solution) in unsolve()
242 AU_UnificationSubproblem2::solve(bool findFirst, UnificationContext& solution, PendingUnificationSt… in solve()
314 AU_UnificationSubproblem2::abstractToFreshVariable(int variableIndex, UnificationContext& solution) in abstractToFreshVariable()
323 AU_UnificationSubproblem2::buildSolution(UnificationContext& solution, PendingUnificationStack& pen… in buildSolution()
/dports/lang/maude/maude-2.7.1/src/ACU_Theory/
H A DACU_UnificationSubproblem2.hh49 void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution);
50 bool solve(bool findFirst, UnificationContext& solution, PendingUnificationStack& pending);
71 int setMultiplicity(DagNode* dagNode, int multiplicity, UnificationContext& solution);
73 void unsolve(int index, UnificationContext& solution);
76 UnificationContext& solution,
80 bool buildAndSolveDiophantineSystem(UnificationContext& solution);
85 bool buildSolution(UnificationContext& solution, PendingUnificationStack& pending);
H A DACU_UnificationSubproblem2.cc96 …nSubproblem2::addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution) in addUnification()
172 ACU_UnificationSubproblem2::setMultiplicity(DagNode* dagNode, int multiplicity, UnificationContext&… in setMultiplicity()
257 ACU_UnificationSubproblem2::unsolve(int index, UnificationContext& solution) in unsolve()
294 ACU_UnificationSubproblem2::solve(bool findFirst, UnificationContext& solution, PendingUnificationS… in solve()
419 UnificationContext& solution, in classify()
484 ACU_UnificationSubproblem2::buildAndSolveDiophantineSystem(UnificationContext& solution) in buildAndSolveDiophantineSystem()
760 ACU_UnificationSubproblem2::buildSolution(UnificationContext& solution, PendingUnificationStack& pe… in buildSolution()
/dports/lang/maude/maude-2.7.1/src/Core/
H A DunificationContext.hh37 class UnificationContext : public Substitution, private SimpleRootContainer class
40 …UnificationContext(FreshVariableGenerator* freshVariableGenerator, int nrOriginalVariables, bool o…
76 UnificationContext::getFreshVariableSort(int index) const in getFreshVariableSort()
82 UnificationContext::getVariableDagNode(int index) in getVariableDagNode()
89 UnificationContext::getNrOriginalVariables() const in getNrOriginalVariables()
H A DunificationContext.cc48 UnificationContext::UnificationContext(FreshVariableGenerator* freshVariableGenerator, int nrOrigin… in UnificationContext() function in UnificationContext
57 UnificationContext::markReachableNodes() in markReachableNodes()
80 UnificationContext::makeFreshVariable(const ConnectedComponent* component) in makeFreshVariable()
96 UnificationContext::restoreFromClone(const Substitution& substitutionClone) in restoreFromClone()
117 UnificationContext::unificationBind(VariableDagNode* variable, DagNode* value) in unificationBind()
H A DpendingUnificationStack.hh52 bool solve(bool findFirst, UnificationContext& solution);
84 bool makeNewSubproblem(UnificationContext& solution);
105 int findCycle(UnificationContext& solution);
106 int findCycleFrom(int index, UnificationContext& solution);
H A DunificationSubproblemDisjunction.hh42 void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution);
43 bool solve(bool findFirst, UnificationContext& solution, PendingUnificationStack& pending);
H A DunificationSubproblemDisjunction.cc43 …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 DpendingUnificationStack.cc165 PendingUnificationStack::solve(bool findFirst, UnificationContext& solution) in solve()
224 PendingUnificationStack::makeNewSubproblem(UnificationContext& solution) in makeNewSubproblem()
334 PendingUnificationStack::findCycle(UnificationContext& solution) in findCycle()
360 PendingUnificationStack::findCycleFrom(int index, UnificationContext& solution) in findCycleFrom()
H A DcompoundCycleSubproblem.hh39 bool solve(bool findFirst, UnificationContext& solution, PendingUnificationStack& pending);
H A Dcore.hh77 class UnificationContext;
/dports/lang/maude/maude-2.7.1/src/CUI_Theory/
H A DCUI_UnificationSubproblem2.hh46 void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution);
47 bool solve(bool findFirst, UnificationContext& solution, PendingUnificationStack& pending);
72 … bool findAlternative(bool first, UnificationContext& solution, PendingUnificationStack& pending);
73 bool tryAlternative(UnificationContext& solution, PendingUnificationStack& pending);
H A DCUI_DagNode.hh53 …bool computeSolvedForm2(DagNode* rhs, UnificationContext& solution, PendingUnificationStack& pend…
68 CUI_DagNode* makePurifiedVersion(UnificationContext& solution, PendingUnificationStack& pending);
85 …bool computeSolvedFormCommutativeCase(CUI_DagNode* rhs, UnificationContext& solution, PendingUnifi…
H A DCUI_UnificationSubproblem2.cc83 …bproblem2::addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& /* solution… in addUnification() argument
129 CUI_UnificationSubproblem2::Problem::findAlternative(bool first, UnificationContext& solution, Pend… in findAlternative()
157 CUI_UnificationSubproblem2::Problem::tryAlternative(UnificationContext& solution, PendingUnificatio… in tryAlternative()
259 CUI_UnificationSubproblem2::solve(bool findFirst, UnificationContext& solution, PendingUnificationS… in solve()
H A DCUI_UnificationSubproblem.hh46 void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution);
47 bool solve(bool findFirst, UnificationContext& solution, PendingUnificationStack& pending);
H A DCUI_UnificationSubproblem.cc83 …ubproblem::addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& /* solution… in addUnification() argument
91 CUI_UnificationSubproblem::solve(bool findFirst, UnificationContext& solution, PendingUnificationSt… in solve()
H A DCUI_DagNode.cc262 CUI_DagNode::computeSolvedFormCommutativeCase(CUI_DagNode* rhs, UnificationContext& solution, Pendi… in computeSolvedFormCommutativeCase()
348 CUI_DagNode::computeSolvedForm2(DagNode* rhs, UnificationContext& solution, PendingUnificationStack… in computeSolvedForm2()
453 CUI_DagNode::makePurifiedVersion(UnificationContext& solution, PendingUnificationStack& pending) in makePurifiedVersion()
/dports/lang/maude/maude-2.7.1/src/Interface/
H A DunificationSubproblem.hh34 …virtual void addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationContext& solution)… in addUnification()
35 …virtual bool solve(bool findFirst, UnificationContext& solution, PendingUnificationStack& pending)… in solve()
H A DdagNode.cc202 DagNode::computeSolvedForm(DagNode* rhs, UnificationContext& solution, PendingUnificationStack& pen… in computeSolvedForm()
224 DagNode::computeSolvedForm2(DagNode* rhs, UnificationContext& solution, PendingUnificationStack& pe… in computeSolvedForm2()
/dports/lang/maude/maude-2.7.1/src/Variable/
H A DvariableDagNode.hh60 …bool computeSolvedForm2(DagNode* rhs, UnificationContext& solution, PendingUnificationStack& pendi…
80 …bool safeVirtualReplacement(VariableDagNode* oldVar, VariableDagNode* newVar, UnificationContext& …
H A DvariableDagNode.cc136 VariableDagNode::computeSolvedForm2(DagNode* rhs, UnificationContext& solution, PendingUnificationS… in computeSolvedForm2()
174 …rtualReplacement(VariableDagNode* oldVar, VariableDagNode* newVar, UnificationContext& solution, P… in safeVirtualReplacement()
/dports/lang/maude/maude-2.7.1/src/FreeTheory/
H A DfreeDagNode.hh66 …bool computeSolvedForm2(DagNode* rhs, UnificationContext& solution, PendingUnificationStack& pendi…
115 UnificationContext& solution,
/dports/lang/maude/maude-2.7.1/src/Higher/
H A DunificationProblem.hh66 …UnificationContext* unsortedSolution; // for accumulating solved forms and constructing unsorted u…
H A DnarrowingUnificationProblem.hh95 …UnificationContext* unsortedSolution; // for accumulating solved forms and constructing unsorted u…

12