|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PredicateVariableInterpreter | |
---|---|
org.qedeq.kernel.bo.logic.model | Here are simple model implementations. |
Uses of PredicateVariableInterpreter in org.qedeq.kernel.bo.logic.model |
---|
Constructors in org.qedeq.kernel.bo.logic.model with parameters of type PredicateVariableInterpreter | |
---|---|
DynamicDirectInterpreter(KernelQedeqBo qedeq,
DynamicModel model,
SubjectVariableInterpreter subjectVariableInterpreter,
PredicateVariableInterpreter predicateVariableInterpreter,
FunctionVariableInterpreter functionVariableInterpreter)
Constructor. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |