wytp.types.subtyping

Class CoerciveSubtypeOperator.Term<T extends WyalFile.Type>

java.lang.Object

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

Direct Known Subclasses:

CoerciveSubtypeOperator.Atom

Enclosing class:

CoerciveSubtypeOperator

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

Field Summary

Fields

Modifier and Type	Field and Description
boolean	maximise
boolean	sign
T	type

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

sign

public final boolean sign

type

public final T extends WyalFile.Type type

maximise

public final boolean maximise

Constructor Detail

Term

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

Method Detail

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