org.qedeq.kernel.bo.logic.model
Class ThreeDynamicModel

java.lang.Object
  org.qedeq.kernel.bo.logic.model.DynamicModel
      org.qedeq.kernel.bo.logic.model.ThreeDynamicModel

All Implemented Interfaces:

Model

public final class ThreeDynamicModel
extends DynamicModel

A model for our mathematical world. It has entities, functions and predicates. There are also predicate and function constants.

Author:

Michael Meyling

Field Summary

static Function	FUNCTION_ONE Map to 1.
static Function	FUNCTION_TWO Map to 2.
static Function	FUNCTION_ZERO Map to empty class.
static Predicate	IS_ONE Return true if all values are 1.
static Predicate	IS_TWO Return true if all values are 2.
static Predicate	IS_ZERO Return true if all values are zero.
static Entity	ONE "One" or set that contains the empty set.
static Entity	TWO "Two" or set that contains "zero" and "one".
static Entity	ZERO "Zero" or empty set.

Fields inherited from class org.qedeq.kernel.bo.logic.model.DynamicModel

EQUAL, EVEN, FALSE, LESS, NOT_EQUAL, NOT_LESS, TRUE

Constructor Summary

ThreeDynamicModel()
Constructor.

Method Summary

Entity	comprehension(Entity[] array) Create entity out of entity list.
java.lang.String	getDescription() Returns the description for the concrete model.

Methods inherited from class org.qedeq.kernel.bo.logic.model.DynamicModel

addEntity, addFunction, addFunctionConstant, addPredicate, addPredicateConstant, getEntitiesSize, getEntity, getFunction, getFunctionConstant, getFunctionSize, getName, getPredicate, getPredicateConstant, getPredicateSize

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ZERO

public static final Entity ZERO

"Zero" or empty set.

ONE

public static final Entity ONE

"One" or set that contains the empty set.

TWO

public static final Entity TWO

"Two" or set that contains "zero" and "one".

FUNCTION_ZERO

public static final Function FUNCTION_ZERO

Map to empty class.

FUNCTION_ONE

public static final Function FUNCTION_ONE

Map to 1.

FUNCTION_TWO

public static final Function FUNCTION_TWO

Map to 2.

IS_ZERO

public static final Predicate IS_ZERO

Return true if all values are zero.

IS_ONE

public static final Predicate IS_ONE

Return true if all values are 1.

IS_TWO

public static final Predicate IS_TWO

Return true if all values are 2.

Constructor Detail

ThreeDynamicModel

public ThreeDynamicModel()

Constructor.

Method Detail

getDescription

public java.lang.String getDescription()

Description copied from class: DynamicModel

Returns the description for the concrete model.

Specified by:

getDescription in interface Model

Specified by:

getDescription in class DynamicModel

Returns:

Description of concrete model.

comprehension

public Entity comprehension(Entity[] array)

Description copied from interface: Model

Create entity out of entity list. This is a transformation of a list of elements into a class containing these elements.

Specified by:

comprehension in interface Model

Specified by:

comprehension in class DynamicModel

Parameters:

array - List of elements.

Returns:

Class that contains (exactly?) these elements.