Orbital library

orbital.moon.logic
Class ClassicalLogic.InferenceMechanism

java.lang.Object
  extended by 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

Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.