org.openqed.struct.namedid
Class NullaryOperator

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.NullaryOperator

public class NullaryOperator
extends LogicalOperator

Nested Class Summary

static class

NullaryOperator.EnumValue

Field Summary

static NullaryOperator	CONTRADICTION
static NullaryOperator	TAUTOLOGY

Method Summary

static NullaryOperator	get(NullaryOperator.EnumValue enumValue)
static NullaryOperator	get(java.lang.String name)
int	getArity()
NullaryOperator.EnumValue	getEnumValue()
NullaryOperator	getInverse()
boolean	isContradiction()
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 NullaryOperator CONTRADICTION

TAUTOLOGY

public static final NullaryOperator TAUTOLOGY

Method Detail

get

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

get

public static NullaryOperator get(NullaryOperator.EnumValue enumValue)

getEnumValue

public NullaryOperator.EnumValue getEnumValue()

Overrides:

getEnumValue in class EnumId

getInverse

public NullaryOperator getInverse()

Overrides:

getInverse in class LogicalOperator

getArity

public int getArity()

Specified by:

getArity in class LogicalOperator

isContradiction

public boolean isContradiction()

isTautology

public boolean isTautology()