org.qedeq.kernel.bo.logic
Interface Operators

All Known Implementing Classes:

FormulaChecker

public interface Operators

Logical and term operators.

Version:

$Revision: 1.4 $

Field Summary

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

Field Detail

CONJUNCTION_OPERATOR

public static final String CONJUNCTION_OPERATOR

Operator string for logical "and".

See Also:

Constant Field Values

DISJUNCTION_OPERATOR

public static final String DISJUNCTION_OPERATOR

Operator string for logical "or".

See Also:

Constant Field Values

IMPLICATION_OPERATOR

public static final String IMPLICATION_OPERATOR

Operator string for logical implication.

See Also:

Constant Field Values

EQUIVALENCE_OPERATOR

public static final String EQUIVALENCE_OPERATOR

Operator string for logical equivalence.

See Also:

Constant Field Values

NEGATION_OPERATOR

public static final String NEGATION_OPERATOR

Operator string for logical negation.

See Also:

Constant Field Values

UNIVERSAL_QUANTIFIER_OPERATOR

public static final String UNIVERSAL_QUANTIFIER_OPERATOR

Operator string for logical "all" operator.

See Also:

Constant Field Values

EXISTENTIAL_QUANTIFIER_OPERATOR

public static final String EXISTENTIAL_QUANTIFIER_OPERATOR

Operator string for logical "exists" operator.

See Also:

Constant Field Values

UNIQUE_EXISTENTIAL_QUANTIFIER_OPERATOR

public static final String UNIQUE_EXISTENTIAL_QUANTIFIER_OPERATOR

Operator string for logical "exists unique" operator.

See Also:

Constant Field Values

PREDICATE_CONSTANT

public static final String PREDICATE_CONSTANT

Operator string for predicate constants.

See Also:

Constant Field Values

PREDICATE_VARIABLE

public static final String PREDICATE_VARIABLE

Operator string for predicate variables.

See Also:

Constant Field Values

SUBJECT_VARIABLE

public static final String SUBJECT_VARIABLE

Operator string for subject variables.

See Also:

Constant Field Values

FUNCTION_CONSTANT

public static final String FUNCTION_CONSTANT

Operator string for function constants.

See Also:

Constant Field Values

FUNCTION_VARIABLE

public static final String FUNCTION_VARIABLE

Operator string for function constants.

See Also:

Constant Field Values

CLASS

public static final String CLASS

Operator string for class operator.

See Also:

Constant Field Values