uk.ac.man.cs.rainbow.rapa.data
Class ProductType
java.lang.Object
|
+--uk.ac.man.cs.rainbow.rapa.data.ProductType
- All Implemented Interfaces:
- Argument, Type
- public class ProductType
- extends Object
- implements Type
ProductType
public ProductType(Type[] types)
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
equals
public boolean equals(Object o)
- Overrides:
equals
in class Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class Object