org.openqed.struct.namedid
Class BinaryOperator

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

public class BinaryOperator
extends LogicalOperator

Nested Class Summary

static class

BinaryOperator.EnumValue

Field Summary

static BinaryOperator	CONJUNCTION
static BinaryOperator	CONTRADICTION
static BinaryOperator	CONVERSE_IMPLICATION
static BinaryOperator	DISJUNCTION
static BinaryOperator	EQUIVALENCE
static BinaryOperator	IMPLICATION
static BinaryOperator	LEFT_IDENTITY
static BinaryOperator	NEGATED_CONJUNCTION
static BinaryOperator	NEGATED_CONVERSE_IMPLICATION
static BinaryOperator	NEGATED_DISJUNCTION
static BinaryOperator	NEGATED_EQUIVALENCE
static BinaryOperator	NEGATED_IMPLICATION
static BinaryOperator	NEGATED_LEFT_IDENTITY
static BinaryOperator	NEGATED_RIGHT_IDENTITY
static BinaryOperator	RIGHT_IDENTITY
static BinaryOperator	TAUTOLOGY

Method Summary

static BinaryOperator	get(BinaryOperator.EnumValue enumValue)
static BinaryOperator	get(java.lang.String name)
int	getArity()
BinaryOperator.EnumValue	getEnumValue()
BinaryOperator	getInverse()
boolean	isConjunction()
boolean	isContradiction()
boolean	isConverseImplication()
boolean	isDisjunction()
boolean	isEquivalence()
boolean	isImplication()
boolean	isLeftIdentity()
boolean	isNegatedConjunction()
boolean	isNegatedConverseImplication()
boolean	isNegatedDisjunction()
boolean	isNegatedEquivalence()
boolean	isNegatedImplication()
boolean	isNegatedLeftIdentity()
boolean	isNegatedRightIdentity()
boolean	isRightIdentity()
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 BinaryOperator CONTRADICTION

NEGATED_DISJUNCTION

public static final BinaryOperator NEGATED_DISJUNCTION

NEGATED_CONVERSE_IMPLICATION

public static final BinaryOperator NEGATED_CONVERSE_IMPLICATION

NEGATED_LEFT_IDENTITY

public static final BinaryOperator NEGATED_LEFT_IDENTITY

NEGATED_IMPLICATION

public static final BinaryOperator NEGATED_IMPLICATION

NEGATED_RIGHT_IDENTITY

public static final BinaryOperator NEGATED_RIGHT_IDENTITY

NEGATED_EQUIVALENCE

public static final BinaryOperator NEGATED_EQUIVALENCE

NEGATED_CONJUNCTION

public static final BinaryOperator NEGATED_CONJUNCTION

CONJUNCTION

public static final BinaryOperator CONJUNCTION

EQUIVALENCE

public static final BinaryOperator EQUIVALENCE

RIGHT_IDENTITY

public static final BinaryOperator RIGHT_IDENTITY

IMPLICATION

public static final BinaryOperator IMPLICATION

LEFT_IDENTITY

public static final BinaryOperator LEFT_IDENTITY

CONVERSE_IMPLICATION

public static final BinaryOperator CONVERSE_IMPLICATION

DISJUNCTION

public static final BinaryOperator DISJUNCTION

TAUTOLOGY

public static final BinaryOperator TAUTOLOGY

Method Detail

get

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

get

public static BinaryOperator get(BinaryOperator.EnumValue enumValue)

getEnumValue

public BinaryOperator.EnumValue getEnumValue()

Overrides:

getEnumValue in class EnumId

getInverse

public BinaryOperator getInverse()

Overrides:

getInverse in class LogicalOperator

getArity

public int getArity()

Specified by:

getArity in class LogicalOperator

isContradiction

public boolean isContradiction()

isNegatedDisjunction

public boolean isNegatedDisjunction()

isNegatedConverseImplication

public boolean isNegatedConverseImplication()

isNegatedLeftIdentity

public boolean isNegatedLeftIdentity()

isNegatedImplication

public boolean isNegatedImplication()

isNegatedRightIdentity

public boolean isNegatedRightIdentity()

isNegatedEquivalence

public boolean isNegatedEquivalence()

isNegatedConjunction

public boolean isNegatedConjunction()

isConjunction

public boolean isConjunction()

isEquivalence

public boolean isEquivalence()

isRightIdentity

public boolean isRightIdentity()

isImplication

public boolean isImplication()

isLeftIdentity

public boolean isLeftIdentity()

isConverseImplication

public boolean isConverseImplication()

isDisjunction

public boolean isDisjunction()

isTautology

public boolean isTautology()