Uses of Interface
org.qedeq.kernel.bo.logic.model.Model

Packages that use Model

org.qedeq.kernel.bo.logic.model

Here are simple model implementations.

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

Classes in org.qedeq.kernel.bo.logic.model that implement Model

class	DynamicModel A model for our mathematical world.
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.

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

FunctionVariableInterpreter(Model model)
Constructor.

PredicateVariableInterpreter(Model model)
Constructor.

SubjectVariableInterpreter(Model model)
Constructor.