org.qedeq.kernel.bo.logic.wf
Class EverythingExists

java.lang.Object
  org.qedeq.kernel.bo.logic.wf.EverythingExists

All Implemented Interfaces:

ClassOperatorExistenceChecker, ExistenceChecker, FunctionExistenceChecker, IdentityOperatorExistenceChecker, PredicateExistenceChecker, RuleExistenceChecker

public final class EverythingExists
extends java.lang.Object
implements ExistenceChecker

This implementation gives always the answer true to the question exists this predicate?.

Author:

Michael Meyling

Field Summary

Fields inherited from interface org.qedeq.kernel.bo.logic.common.ExistenceChecker

NAME_EQUAL

Method Summary

boolean	classOperatorExists() Check if the class operator is already defined.
boolean	functionExists(FunctionKey function) Check if a function is already defined.
boolean	functionExists(java.lang.String name, int arguments) Check if a function is already defined.
java.lang.String	getIdentityOperator() Get identity operator.
static ExistenceChecker	getInstance() Get one instance of this class.
boolean	identityOperatorExists() Check if the identity operator is already defined.
boolean	isInitialFunction(FunctionKey predicate) Check if given function key has an initial function definition.
boolean	isInitialPredicate(PredicateKey predicate) Check if given predicate key has an initial predicate definition.
boolean	predicateExists(PredicateKey predicate) Check if a predicate is already defined.
boolean	predicateExists(java.lang.String name, int arguments) Check if a predicate is already defined.
boolean	ruleExists(RuleKey ruleKey) Check if a rule is already defined.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

predicateExists

public boolean predicateExists(java.lang.String name,
                               int arguments)

Description copied from interface: PredicateExistenceChecker

Check if a predicate is already defined.

Specified by:

predicateExists in interface PredicateExistenceChecker

Parameters:

name - Predicate name.

arguments - Number of operands for the predicate.

Returns:

Predicate is defined.

predicateExists

public boolean predicateExists(PredicateKey predicate)

Description copied from interface: PredicateExistenceChecker

Check if a predicate is already defined.

Specified by:

predicateExists in interface PredicateExistenceChecker

Parameters:

predicate - Predicate.

Returns:

Predicate is defined.

isInitialPredicate

public boolean isInitialPredicate(PredicateKey predicate)

Description copied from interface: PredicateExistenceChecker

Check if given predicate key has an initial predicate definition.

Specified by:

isInitialPredicate in interface PredicateExistenceChecker

Parameters:

predicate - Predicate.

Returns:

Predicate is defined and is an initial predicate definition.

functionExists

public boolean functionExists(java.lang.String name,
                              int arguments)

Description copied from interface: FunctionExistenceChecker

Check if a function is already defined.

Specified by:

functionExists in interface FunctionExistenceChecker

Parameters:

name - Function name.

arguments - Number of operands for the function.

Returns:

Functions is defined.

functionExists

public boolean functionExists(FunctionKey function)

Description copied from interface: FunctionExistenceChecker

Check if a function is already defined.

Specified by:

functionExists in interface FunctionExistenceChecker

Parameters:

function - Function.

Returns:

Functions is defined.

isInitialFunction

public boolean isInitialFunction(FunctionKey predicate)

Description copied from interface: FunctionExistenceChecker

Check if given function key has an initial function definition.

Specified by:

isInitialFunction in interface FunctionExistenceChecker

Parameters:

predicate - Function key.

Returns:

Function is defined and is an initial function definition.

classOperatorExists

public boolean classOperatorExists()

Description copied from interface: ClassOperatorExistenceChecker

Check if the class operator is already defined.

Specified by:

classOperatorExists in interface ClassOperatorExistenceChecker

Returns:

Class operator is defined.

identityOperatorExists

public boolean identityOperatorExists()

Description copied from interface: IdentityOperatorExistenceChecker

Check if the identity operator is already defined.

Specified by:

identityOperatorExists in interface IdentityOperatorExistenceChecker

Returns:

Identity operator is already defined.

getIdentityOperator

public java.lang.String getIdentityOperator()

Description copied from interface: IdentityOperatorExistenceChecker

Get identity operator. This is the operator string of a predicate.

Specified by:

getIdentityOperator in interface IdentityOperatorExistenceChecker

Returns:

Identity operator. Should be null if !IdentityOperatorExistenceChecker.identityOperatorExists().

getInstance

public static final ExistenceChecker getInstance()

Get one instance of this class.

Returns:

Class instance.

ruleExists

public boolean ruleExists(RuleKey ruleKey)

Description copied from interface: RuleExistenceChecker

Check if a rule is already defined.

Specified by:

ruleExists in interface RuleExistenceChecker

Parameters:

ruleKey - Rule defining data.

Returns:

Rule is defined.