orbital.moon.logic
Class ClassicalLogic.InferenceMechanism

java.lang.Object
  orbital.moon.logic.ClassicalLogic.InferenceMechanism

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable

Enclosing class:

ClassicalLogic

public abstract static class ClassicalLogic.InferenceMechanism
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable

Specifies the inference mechanism applied for the inference relation.

Author:

André Platzer

See Also:

typesafe enum pattern, Serialized Form

Invariants:

a.equals(b) ⇔ a==b

Method Summary

int	compareTo(java.lang.Object o) Order imposed by ordinals according to the order of creation.
boolean	equals(java.lang.Object that) Maintains the guarantee that all equal objects of the enumerated type are also identical.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

compareTo

public int compareTo(java.lang.Object o)

Order imposed by ordinals according to the order of creation.

Specified by:

compareTo in interface java.lang.Comparable

Postconditions:

consistent with equals

equals

public final boolean equals(java.lang.Object that)

Maintains the guarantee that all equal objects of the enumerated type are also identical.

Overrides:

equals in class java.lang.Object

Postconditions:

a.equals(b) ⇔ if a==b.

hashCode

public final int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object