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