uk.ac.man.cs.rainbow.rapa.data
Class BooleanType

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.data.BooleanType

All Implemented Interfaces:

Argument, Serializable, Type

public class BooleanType

extends Object

implements Type, Serializable

See Also:

Serialized Form

Field Summary

static Type

instance

Method Summary

void	compatableWith(Argument arg)
Type	subst(GeneralSubstitution s)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

instance

public static final Type instance

Method Detail

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