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