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

Packages that use Entity

org.qedeq.kernel.bo.logic.model

Here are simple model implementations.

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

Fields in org.qedeq.kernel.bo.logic.model declared as Entity

static Entity	SixDynamicModel.EMPTY "Zero" or empty set.
static Entity	FourDynamicModel.ONE "One" or set that contains the empty set.
static Entity	ThreeDynamicModel.ONE "One" or set that contains the empty set.
static Entity	SixDynamicModel.ONE_ONE "One" or set that contains the empty set.
static Entity	SixDynamicModel.ONE_TWO "Two" or set that contains "zero" and "one".
static Entity	FourDynamicModel.THREE "Three" or set that contains "one".
static Entity	FourDynamicModel.TWO "Two" or set that contains "zero" and "one".
static Entity	ThreeDynamicModel.TWO "Two" or set that contains "zero" and "one".
static Entity	SixDynamicModel.TWO_ONE_TWO "Two" or set that contains "zero" and "one".
static Entity	UnaryDynamicModel.ZERO "Zero" or empty class.
static Entity	FourDynamicModel.ZERO "Zero" or empty set.
static Entity	ThreeDynamicModel.ZERO "Zero" or empty set.
static Entity	SixDynamicModel.ZERO_ONE "One" or set that contains the empty set.
static Entity	SixDynamicModel.ZERO_TWO "Two" or set that contains "zero" and "one".

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

Entity	DynamicDirectInterpreter.calculateFunctionValue(FunctionConstant constant, Entity[] entities) Calculate function value.
Entity	DynamicDirectInterpreter.calculateTerm(ModuleContext moduleContext, Element term) Calculate the term value of a given term.
Entity	UnaryDynamicModel.comprehension(Entity[] array)
Entity	FourDynamicModel.comprehension(Entity[] array)
Entity	ThreeDynamicModel.comprehension(Entity[] array)
abstract Entity	DynamicModel.comprehension(Entity[] array)
Entity	SixDynamicModel.comprehension(Entity[] array)
Entity	Model.comprehension(Entity[] array) Create entity out of entity list.
Entity	DynamicModel.getEntity(int number)
Entity	Model.getEntity(int number) Get entity number.
Entity	SubjectVariableInterpreter.getEntity(SubjectVariable var) Get current interpretation of subject variable.
abstract Entity	Function.map(Entity[] entities) Calculate truth value.

Methods in org.qedeq.kernel.bo.logic.model with parameters of type Entity

protected void	DynamicModel.addEntity(Entity entity)
abstract boolean	Predicate.calculate(Entity[] entities) Calculate truth value.
Entity	DynamicDirectInterpreter.calculateFunctionValue(FunctionConstant constant, Entity[] entities) Calculate function value.
boolean	DynamicDirectInterpreter.calculatePredicateValue(PredicateConstant constant, Entity[] entities) Calculate function value.
Entity	UnaryDynamicModel.comprehension(Entity[] array)
Entity	FourDynamicModel.comprehension(Entity[] array)
Entity	ThreeDynamicModel.comprehension(Entity[] array)
abstract Entity	DynamicModel.comprehension(Entity[] array)
Entity	SixDynamicModel.comprehension(Entity[] array)
Entity	Model.comprehension(Entity[] array) Create entity out of entity list.
static Predicate	Predicate.isEntity(Entity entity) Construct identifying predicate.
abstract Entity	Function.map(Entity[] entities) Calculate truth value.