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

Packages that use PredicateVariable

org.qedeq.kernel.bo.logic.model

Here are simple model implementations.

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

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

Predicate

PredicateVariableInterpreter.getPredicate(PredicateVariable var) Get model predicate for predicate variable.