Home
last modified time | relevance | path

Searched refs:makeRhsInstance (Results 1 – 4 of 4) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Higher/
H A DassignmentConditionFragment.hh52 DagNode* makeRhsInstance(Substitution& solution);
H A DassignmentConditionFragment.cc145 AssignmentConditionFragment::makeRhsInstance(Substitution& solution) in makeRhsInstance() function in AssignmentConditionFragment
H A DChangeLog1740 * assignmentConditionFragment.cc (makeRhsInstance): take
1744 AssignmentConditionFragment): updated decl for makeRhsInstance()
1776 * assignmentConditionFragment.cc (makeRhsInstance, matchRoot):
1782 (makeRhsInstance): added
/dports/lang/maude/maude-2.7.1/src/StrategyLanguage/
H A DapplicationProcess.cc266 makeSubcontext(acf->makeRhsInstance(*substitutionSoFar), RewritingContext::CONDITION_EVAL); in resolveRemainingConditionFragments()