|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Operator | |
---|---|
org.qedeq.kernel.bo.logic.model | Here are simple model implementations. |
Uses of Operator in org.qedeq.kernel.bo.logic.model |
---|
Subclasses of Operator in org.qedeq.kernel.bo.logic.model | |
---|---|
class |
FunctionVariable
One function variable. |
class |
ModelFunctionConstant
One function constant. |
class |
ModelPredicateConstant
Predicate constant for our model. |
class |
PredicateVariable
Predicate variable for our model. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |