org.qedeq.kernel.bo.logic.common
Interface Operators

All Known Implementing Classes:

FormulaCheckerImpl, FormulaUtility

public interface Operators

Logical and term operators. These strings might occur as values for ElementList.getOperator().

Author:

Michael Meyling

Field Summary

static java.lang.String	CLASS_OP Operator string for class operator.
static java.lang.String	CONJUNCTION_OPERATOR Operator string for logical "and".
static java.lang.String	DISJUNCTION_OPERATOR Operator string for logical "or".
static java.lang.String	EQUIVALENCE_OPERATOR Operator string for logical equivalence.
static java.lang.String	EXISTENTIAL_QUANTIFIER_OPERATOR Operator string for logical "exists" operator.
static java.lang.String	FUNCTION_CONSTANT Operator string for function constants.
static java.lang.String	FUNCTION_VARIABLE Operator string for function constants.
static java.lang.String	IMPLICATION_OPERATOR Operator string for logical implication.
static java.lang.String	META_VARIABLE Operator string for meta variables.
static java.lang.String	NEGATION_OPERATOR Operator string for logical negation.
static java.lang.String	PREDICATE_CONSTANT Operator string for predicate constants.
static java.lang.String	PREDICATE_VARIABLE Operator string for predicate variables.
static java.lang.String	SUBJECT_VARIABLE Operator string for subject variables.
static java.lang.String	UNIQUE_EXISTENTIAL_QUANTIFIER_OPERATOR Operator string for logical "exists unique" operator.
static java.lang.String	UNIVERSAL_QUANTIFIER_OPERATOR Operator string for logical "all" operator.

Field Detail

CONJUNCTION_OPERATOR

static final java.lang.String CONJUNCTION_OPERATOR

Operator string for logical "and".

See Also:

Constant Field Values

DISJUNCTION_OPERATOR

static final java.lang.String DISJUNCTION_OPERATOR

Operator string for logical "or".

See Also:

Constant Field Values

IMPLICATION_OPERATOR

static final java.lang.String IMPLICATION_OPERATOR

Operator string for logical implication.

See Also:

Constant Field Values

EQUIVALENCE_OPERATOR

static final java.lang.String EQUIVALENCE_OPERATOR

Operator string for logical equivalence.

See Also:

Constant Field Values

NEGATION_OPERATOR

static final java.lang.String NEGATION_OPERATOR

Operator string for logical negation.

See Also:

Constant Field Values

UNIVERSAL_QUANTIFIER_OPERATOR

static final java.lang.String UNIVERSAL_QUANTIFIER_OPERATOR

Operator string for logical "all" operator.

See Also:

Constant Field Values

EXISTENTIAL_QUANTIFIER_OPERATOR

static final java.lang.String EXISTENTIAL_QUANTIFIER_OPERATOR

Operator string for logical "exists" operator.

See Also:

Constant Field Values

UNIQUE_EXISTENTIAL_QUANTIFIER_OPERATOR

static final java.lang.String UNIQUE_EXISTENTIAL_QUANTIFIER_OPERATOR

Operator string for logical "exists unique" operator.

See Also:

Constant Field Values

PREDICATE_CONSTANT

static final java.lang.String PREDICATE_CONSTANT

Operator string for predicate constants.

See Also:

Constant Field Values

PREDICATE_VARIABLE

static final java.lang.String PREDICATE_VARIABLE

Operator string for predicate variables.

See Also:

Constant Field Values

SUBJECT_VARIABLE

static final java.lang.String SUBJECT_VARIABLE

Operator string for subject variables.

See Also:

Constant Field Values

FUNCTION_CONSTANT

static final java.lang.String FUNCTION_CONSTANT

Operator string for function constants.

See Also:

Constant Field Values

FUNCTION_VARIABLE

static final java.lang.String FUNCTION_VARIABLE

Operator string for function constants.

See Also:

Constant Field Values

CLASS_OP

static final java.lang.String CLASS_OP

Operator string for class operator.

See Also:

Constant Field Values

META_VARIABLE

static final java.lang.String META_VARIABLE

Operator string for meta variables.

See Also:

Constant Field Values