org.openqed.struct.namedid
Class InvertibleEnumId

java.lang.Object
  extended by org.openqed.struct.namedid.NamedId
      extended by org.openqed.struct.namedid.EnumId
          extended by org.openqed.struct.namedid.InvertibleEnumId
Direct Known Subclasses:
LogicalOperator, QuantifierOperator, TruthValue

public abstract class InvertibleEnumId
extends EnumId


Method Summary
 InvertibleEnumId getInverse()
           
 boolean isNegativeInverse()
           
 
Methods inherited from class org.openqed.struct.namedid.EnumId
getEnumValue, getOrdinal
 
Methods inherited from class org.openqed.struct.namedid.NamedId
equals, getName, hashCode, toString
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Method Detail

isNegativeInverse

public final boolean isNegativeInverse()

getInverse

public InvertibleEnumId getInverse()