Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD

uk.ac.man.cs.rainbow.rapa.data
Interface Type

All Superinterfaces:
Argument
All Known Implementing Classes:
FunctionType, IntegerType, NullType, ProductType, Type, TypeVariable, BooleanType, NamedType, AbstractType, CompilerType
public interface Type
extends Argument

Indicates classes that implement a type useable in RAPA.

See Also:
CompilerType

Method Summary
 Type subst(GeneralSubstitution s)
           
 
Methods inherited from interface uk.ac.man.cs.rainbow.rapa.data.Argument
compatableWith
 

Method Detail

subst

public Type subst(GeneralSubstitution s)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD