uk.ac.man.cs.rainbow.rapa.data
Class Bool
java.lang.Object
|
+--uk.ac.man.cs.rainbow.rapa.data.Expression
|
+--uk.ac.man.cs.rainbow.rapa.data.Bool
- All Implemented Interfaces:
- Argument, Comparable, Serializable, Value, VariableContainer
- public class Bool
- extends Expression
- implements Comparable
- See Also:
- Serialized Form
False
public static final Bool False
True
public static final Bool True
toString
public String toString()
- Overrides:
toString
in class Object
apply
public Value apply(Unifier u)
- Description copied from interface:
Value
- Apply a unifier to this value to get a new value.
- Overrides:
apply
in class Expression
occurs
public boolean occurs(Substitution s,
Variable v)
- Description copied from interface:
Value
- Check whether the variable occurs in this value under the given
substitution.
- Overrides:
occurs
in class Expression
unify
public Substitution unify(Substitution s,
Value e)
throws NotUnifiable
- Description copied from interface:
Value
- Get the substitution which unifies this value with the given
value, after applying the given substitution.
- Overrides:
unify
in class Expression
- Following copied from interface:
uk.ac.man.cs.rainbow.rapa.data.Value
- Parameters:
subst
- The substitution to apply first.val
- The value to unify with this value.- Returns:
- The substitution that is the combination of the given
substitution and whatever extra substitutions are necessary to
unify the two values.
- Throws:
NotUnifiable
- If the two values cannot be unified.
hasVariable
public boolean hasVariable()
equals
public boolean equals(Value e)
- Overrides:
equals
in class Expression
subst
public Value subst(Substitution s)
- Description copied from interface:
Value
- Apply a substitution to this value to get a new value.
- Overrides:
subst
in class Expression
getResultType
public Type getResultType()
- Overrides:
getResultType
in class Expression
compareTo
public int compareTo(Object o)
- Specified by:
compareTo
in interface Comparable