Uses of Package
org.qedeq.kernel.bo.logic.model

Packages that use org.qedeq.kernel.bo.logic.model

org.qedeq.kernel.bo.logic.model

Here are simple model implementations.

Classes in org.qedeq.kernel.bo.logic.model used by org.qedeq.kernel.bo.logic.model

DynamicModel
A model for our mathematical world.

Entity
One entity in our model.

Function
One function for our model.

FunctionVariable
One function variable.

FunctionVariableInterpreter
Interpret function variables.

HeuristicException
Something went wrong during formula testing within model.

Model
A model for our mathematical world.

ModelFunctionConstant
One function constant.

ModelPredicateConstant
Predicate constant for our model.

Operator
Operators with arguments.

Predicate
One predicate for our model.

PredicateVariable
Predicate variable for our model.

PredicateVariableInterpreter
This class calculates a new truth value for a given formula for a given interpretation.

SubjectVariableInterpreter
This class interpretation.