public class PrincipalEquation extends Equation
lhs actsfor rhs
in the environment env
.PrincipalConstraint
constraint
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
copy() |
LabelEnv |
env() |
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
Principal |
lhs() |
polyglot.util.Position |
position() |
PrincipalConstraint |
principalConstraint() |
Principal |
rhs() |
void |
subst(LabelSubstitution subst)
Replace the
lhs and rhs with the result of
lhs.subst(subst) and rhs.subst(subst)
respectively. |
java.lang.String |
toString() |
java.util.Set<Variable> |
variables()
Return a
Set of variables that occur in either the
left or right hand side. |
constraint
public Principal lhs()
public Principal rhs()
public PrincipalConstraint principalConstraint()
public java.util.Set<Variable> variables()
Set
of variables that occur in either the
left or right hand side.public void subst(LabelSubstitution subst) throws polyglot.types.SemanticException
lhs
and rhs
with the result of
lhs.subst(subst)
and rhs.subst(subst)
respectively.