Uses of Class
org.qedeq.kernel.bo.logic.model.DynamicModel

Packages that use DynamicModel

org.qedeq.kernel.bo.logic.model

Here are simple model implementations.

Uses of DynamicModel in org.qedeq.kernel.bo.logic.model

Subclasses of DynamicModel in org.qedeq.kernel.bo.logic.model

class	FourDynamicModel A model for our mathematical world.
class	SixDynamicModel A model for our mathematical world.
class	ThreeDynamicModel A model for our mathematical world.
class	UnaryDynamicModel A model for our mathematical world.

Methods in org.qedeq.kernel.bo.logic.model that return DynamicModel

DynamicModel

DynamicDirectInterpreter.getModel() Get model.

Constructors in org.qedeq.kernel.bo.logic.model with parameters of type DynamicModel

DynamicDirectInterpreter(KernelQedeqBo qedeq, DynamicModel model)
Constructor.

DynamicDirectInterpreter(KernelQedeqBo qedeq, DynamicModel model, SubjectVariableInterpreter subjectVariableInterpreter, PredicateVariableInterpreter predicateVariableInterpreter, FunctionVariableInterpreter functionVariableInterpreter)
Constructor.