Home
last modified time | relevance | path

Searched refs:unboundVariables (Results 1 – 8 of 8) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Higher/
H A DsortTestConditionFragment.cc65 NatSet unboundVariables; in check() local
70 unboundVariables.insert(lhs->occursBelow()); in check()
71 unboundVariables.subtract(boundVariables); in check()
72 variableInfo.addUnboundVariables(unboundVariables); in check()
H A DequalityConditionFragment.cc70 NatSet unboundVariables; in check() local
75 unboundVariables.insert(lhs->occursBelow()); in check()
80 unboundVariables.insert(rhs->occursBelow()); in check()
82 unboundVariables.subtract(boundVariables); in check()
83 variableInfo.addUnboundVariables(unboundVariables); in check()
H A DrewriteConditionFragment.cc68 NatSet unboundVariables; in check() local
73 unboundVariables.insert(lhs->occursBelow()); in check()
79 unboundVariables.subtract(boundVariables); in check()
80 variableInfo.addUnboundVariables(unboundVariables); in check()
H A DassignmentConditionFragment.cc70 NatSet unboundVariables; in check() local
79 unboundVariables.insert(rhs->occursBelow()); in check()
81 unboundVariables.subtract(boundVariables); in check()
82 variableInfo.addUnboundVariables(unboundVariables); in check()
/dports/lang/maude/maude-2.7.1/src/Core/
H A Dequation.cc76 NatSet unboundVariables(rhs->occursBelow()); in check() local
77 unboundVariables.subtract(boundVariables); in check()
78 addUnboundVariables(unboundVariables); in check()
H A DvariableInfo.hh98 NatSet unboundVariables; member in VariableInfo
159 return unboundVariables; in getUnboundVariables()
171 unboundVariables.insert(vars); in addUnboundVariables()
H A Drule.cc73 NatSet unboundVariables(rhs->occursBelow()); in check() local
74 unboundVariables.subtract(boundVariables); in check()
75 addUnboundVariables(unboundVariables); in check()
H A DChangeLog3740 (apply): check unboundVariables rather than variableSafeFlag
3819 unboundVariables