wytp.types.subtyping

Class CoerciveSubtypeOperator.Atom<T extends WyalFile.Type.Atom>

java.lang.Object

wytp.types.subtyping.CoerciveSubtypeOperator.Term<T>

wytp.types.subtyping.CoerciveSubtypeOperator.Atom<T>

Enclosing class:

CoerciveSubtypeOperator

protected static class CoerciveSubtypeOperator.Atom<T extends WyalFile.Type.Atom>
extends CoerciveSubtypeOperator.Term<T>

Field Summary

Fields inherited from class wytp.types.subtyping.CoerciveSubtypeOperator.Term

maximise, sign, type

Constructor Summary

Constructors

Constructor and Description
Atom(boolean sign, T type, boolean maximise)

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class wytp.types.subtyping.CoerciveSubtypeOperator.Term

equals, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Atom

public Atom(boolean sign,
            T type,
            boolean maximise)

Method Detail

toString

public String toString()

Overrides:

toString in class CoerciveSubtypeOperator.Term<T extends WyalFile.Type.Atom>