org.openqed.struct.namedid
Class UnaryOperator

java.lang.Object
  org.openqed.struct.namedid.NamedId
      org.openqed.struct.namedid.EnumId
          org.openqed.struct.namedid.InvertibleEnumId
              org.openqed.struct.namedid.LogicalOperator
                  org.openqed.struct.namedid.UnaryOperator

public class UnaryOperator
extends LogicalOperator

Nested Class Summary

static class

UnaryOperator.EnumValue

Field Summary

static UnaryOperator	CONTRADICTION
static UnaryOperator	IDENTITY
static UnaryOperator	NEGATION
static UnaryOperator	TAUTOLOGY

Method Summary

static UnaryOperator	get(java.lang.String name)
static UnaryOperator	get(UnaryOperator.EnumValue enumValue)
int	getArity()
UnaryOperator.EnumValue	getEnumValue()
UnaryOperator	getInverse()
boolean	isContradiction()
boolean	isIdentity()
boolean	isNegation()
boolean	isTautology()

Methods inherited from class org.openqed.struct.namedid.LogicalOperator

evaluateValues, isDegenerate

Methods inherited from class org.openqed.struct.namedid.InvertibleEnumId

isNegativeInverse

Methods inherited from class org.openqed.struct.namedid.EnumId

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

Field Detail

CONTRADICTION

public static final UnaryOperator CONTRADICTION

NEGATION

public static final UnaryOperator NEGATION

IDENTITY

public static final UnaryOperator IDENTITY

TAUTOLOGY

public static final UnaryOperator TAUTOLOGY

Method Detail

get

public static UnaryOperator get(java.lang.String name)

get

public static UnaryOperator get(UnaryOperator.EnumValue enumValue)

getEnumValue

public UnaryOperator.EnumValue getEnumValue()

Overrides:

getEnumValue in class EnumId

getInverse

public UnaryOperator getInverse()

Overrides:

getInverse in class LogicalOperator

getArity

public int getArity()

Specified by:

getArity in class LogicalOperator

isContradiction

public boolean isContradiction()

isNegation

public boolean isNegation()

isIdentity

public boolean isIdentity()

isTautology

public boolean isTautology()