org.openqed.struct.namedid
Class QuantifierOperator

java.lang.Object
  org.openqed.struct.namedid.NamedId
      org.openqed.struct.namedid.EnumId
          org.openqed.struct.namedid.InvertibleEnumId
              org.openqed.struct.namedid.QuantifierOperator

public class QuantifierOperator
extends InvertibleEnumId

Nested Class Summary

static class

QuantifierOperator.EnumValue

Field Summary

static QuantifierOperator	EXISTENTIAL
static QuantifierOperator	UNIVERSAL

Method Summary

static QuantifierOperator	get(QuantifierOperator.EnumValue enumValue)
static QuantifierOperator	get(java.lang.String name)
QuantifierOperator.EnumValue	getEnumValue()
QuantifierOperator	getInverse()
boolean	isExistential()
boolean	isUniversal()

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

EXISTENTIAL

public static final QuantifierOperator EXISTENTIAL

UNIVERSAL

public static final QuantifierOperator UNIVERSAL

Method Detail

get

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

get

public static QuantifierOperator get(QuantifierOperator.EnumValue enumValue)

getEnumValue

public QuantifierOperator.EnumValue getEnumValue()

Overrides:

getEnumValue in class EnumId

getInverse

public QuantifierOperator getInverse()

Overrides:

getInverse in class InvertibleEnumId

isExistential

public boolean isExistential()

isUniversal

public boolean isUniversal()