|
||||||||||
| 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 | |||||||||