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

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

All Implemented Interfaces:

Model

public final class SixDynamicModel
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 Entity	EMPTY "Zero" or empty set.
static Function	FUNCTION_EMPTY Map to empty class.
static Function	FUNCTION_ONE_ONE Map to {1}.
static Function	FUNCTION_ONE_TWO Map to {2}.
static Function	FUNCTION_TWO_ONE_TWO Map to {1, 2}.
static Function	FUNCTION_ZERO_ONE Map to 1.
static Function	FUNCTION_ZERO_TWO Map to 2.
static Predicate	IS_EMPTY Return true if all values are zero.
static Predicate	IS_ONE_ONE Return true if all values are {1}.
static Predicate	IS_ONE_TWO Return true if all values are {2}.
static Predicate	IS_TWO_ONE_TWO Return true if all values are {2}.
static Predicate	IS_ZERO_ONE Return true if all values are 1.
static Predicate	IS_ZERO_TWO Return true if all values are 2.
static Predicate	NOT_IS_ONE_TWO Are the entities are not all equal to {2}?
static Entity	ONE_ONE "One" or set that contains the empty set.
static Entity	ONE_TWO "Two" or set that contains "zero" and "one".
static Entity	TWO_ONE_TWO "Two" or set that contains "zero" and "one".
static Entity	ZERO_ONE "One" or set that contains the empty set.
static Entity	ZERO_TWO "Two" or set that contains "zero" and "one".

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

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

Constructor Summary

SixDynamicModel()
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

EMPTY

public static final Entity EMPTY

"Zero" or empty set.

ZERO_ONE

public static final Entity ZERO_ONE

"One" or set that contains the empty set.

ZERO_TWO

public static final Entity ZERO_TWO

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

ONE_ONE

public static final Entity ONE_ONE

"One" or set that contains the empty set.

ONE_TWO

public static final Entity ONE_TWO

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

TWO_ONE_TWO

public static final Entity TWO_ONE_TWO

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

FUNCTION_EMPTY

public static final Function FUNCTION_EMPTY

Map to empty class.

FUNCTION_ZERO_ONE

public static final Function FUNCTION_ZERO_ONE

Map to 1.

FUNCTION_ZERO_TWO

public static final Function FUNCTION_ZERO_TWO

Map to 2.

FUNCTION_ONE_ONE

public static final Function FUNCTION_ONE_ONE

Map to {1}.

FUNCTION_ONE_TWO

public static final Function FUNCTION_ONE_TWO

Map to {2}.

FUNCTION_TWO_ONE_TWO

public static final Function FUNCTION_TWO_ONE_TWO

Map to {1, 2}.

IS_EMPTY

public static final Predicate IS_EMPTY

Return true if all values are zero.

IS_ZERO_ONE

public static final Predicate IS_ZERO_ONE

Return true if all values are 1.

IS_ZERO_TWO

public static final Predicate IS_ZERO_TWO

Return true if all values are 2.

IS_ONE_ONE

public static final Predicate IS_ONE_ONE

Return true if all values are {1}.

IS_ONE_TWO

public static final Predicate IS_ONE_TWO

Return true if all values are {2}.

IS_TWO_ONE_TWO

public static final Predicate IS_TWO_ONE_TWO

Return true if all values are {2}.

NOT_IS_ONE_TWO

public static final Predicate NOT_IS_ONE_TWO

Are the entities are not all equal to {2}?

Constructor Detail

SixDynamicModel

public SixDynamicModel()

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.