uk.ac.man.cs.rainbow.rapa.data
Class IntegerType
java.lang.Object
|
+--uk.ac.man.cs.rainbow.rapa.data.IntegerType
- All Implemented Interfaces:
- Argument, Serializable, Type
- public class IntegerType
- extends Object
- implements Type, Serializable
- See Also:
- Serialized Form
instance
public static final Type instance
compatableWith
public void compatableWith(Argument arg)
- Specified by:
compatableWith
in interface Argument
- Following copied from interface:
uk.ac.man.cs.rainbow.rapa.data.Argument
- Throws:
CompatabilityFailure
- If you are not allowed to map from this argument to the
given one.
subst
public Type subst(GeneralSubstitution s)
- Specified by:
subst
in interface Type
toString
public String toString()
- Overrides:
toString
in class Object