Uses of Class
org.qedeq.kernel.bo.logic.model.ModelPredicateConstant

Packages that use ModelPredicateConstant

org.qedeq.kernel.bo.logic.model

Here are simple model implementations.

Uses of ModelPredicateConstant in org.qedeq.kernel.bo.logic.model

Methods in org.qedeq.kernel.bo.logic.model with parameters of type ModelPredicateConstant

void	DynamicModel.addPredicateConstant(ModelPredicateConstant constant, Predicate predicate) Add a predicate constant.
Predicate	DynamicModel.getPredicateConstant(ModelPredicateConstant con)
Predicate	Model.getPredicateConstant(ModelPredicateConstant con) Get predicate constant of this model.
boolean	DynamicDirectInterpreter.hasPredicateConstant(ModelPredicateConstant constant) Is the given predicate constant already defined?