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