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

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

All Implemented Interfaces:

Model

public final class UnaryDynamicModel
extends DynamicModel

A model for our mathematical world. It has only one entity.

Author:

Michael Meyling

Field Summary

static Function	FUNCTION_ZERO Map to zero.
static Entity	ZERO "Zero" or empty class.

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

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

Constructor Summary

UnaryDynamicModel()
Constructor.

Method Summary

Entity	comprehension(Entity[] array) Create entity out of entity list.
java.lang.String	getDescription() Returns the description for the concrete model.
Function	getFunction(int size, int number) Get function.
Function	getFunctionConstant(ModelFunctionConstant con) Get function constant.
int	getFunctionSize(int size) Get number of functions for this model.

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

addEntity, addFunction, addFunctionConstant, addPredicate, addPredicateConstant, getEntitiesSize, getEntity, 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 class.

FUNCTION_ZERO

public static final Function FUNCTION_ZERO

Map to zero.

Constructor Detail

UnaryDynamicModel

public UnaryDynamicModel()

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.

getFunctionSize

public int getFunctionSize(int size)

Description copied from interface: Model

Get number of functions for this model.

Specified by:

getFunctionSize in interface Model

Overrides:

getFunctionSize in class DynamicModel

Parameters:

size - Number of arguments for function.

Returns:

Number of functions in this model.

getFunction

public Function getFunction(int size,
                            int number)

Description copied from interface: Model

Get function.

Specified by:

getFunction in interface Model

Overrides:

getFunction in class DynamicModel

Parameters:

size - Number of arguments for function.

number - Number of function.

Returns:

Function in this model.

getFunctionConstant

public Function getFunctionConstant(ModelFunctionConstant con)

Description copied from interface: Model

Get function constant.

Specified by:

getFunctionConstant in interface Model

Overrides:

getFunctionConstant in class DynamicModel

Parameters:

con - Function constant we are looking for.

Returns:

Function in this 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.