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

All Known Implementing Classes:

DynamicModel, FourDynamicModel, SixDynamicModel, ThreeDynamicModel, UnaryDynamicModel

public interface Model

A model for our mathematical world. It should have entities, functions and predicates. There should also be predicate and function constants.

Author:

Michael Meyling

Method Summary

Entity	comprehension(Entity[] array) Create entity out of entity list.
java.lang.String	getDescription() Get model description.
int	getEntitiesSize() Get number of all entities in this model.
Entity	getEntity(int number) Get entity number.
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.
Predicate	getPredicate(int size, int number) Get predicate of this model.
Predicate	getPredicateConstant(ModelPredicateConstant con) Get predicate constant of this model.
int	getPredicateSize(int size) Get number of predicates with size number of arguments.

Method Detail

getDescription

java.lang.String getDescription()

Get model description.

Returns:

Model description.

getEntitiesSize

int getEntitiesSize()

Get number of all entities in this model.

Returns:

Number of entities.

getEntity

Entity getEntity(int number)

Get entity number. Also transforms the value of an entity into the entity itself.

Parameters:

number - Get entity with this number and value.

Returns:

Entity.

getPredicateSize

int getPredicateSize(int size)

Get number of predicates with size number of arguments.

Parameters:

size - Number of arguments.

Returns:

Number of predicates in this model.

getPredicate

Predicate getPredicate(int size,
                       int number)

Get predicate of this model.

Parameters:

size - Number of arguments for predicate.

number - Number of predicate.

Returns:

Predicate for this model.

getPredicateConstant

Predicate getPredicateConstant(ModelPredicateConstant con)

Get predicate constant of this model.

Parameters:

con - Predicate constant we are looking for.

Returns:

Predicate for this model.

getFunctionSize

int getFunctionSize(int size)

Get number of functions for this model.

Parameters:

size - Number of arguments for function.

Returns:

Number of functions in this model.

getFunction

Function getFunction(int size,
                     int number)

Get function.

Parameters:

size - Number of arguments for function.

number - Number of function.

Returns:

Function in this model.

getFunctionConstant

Function getFunctionConstant(ModelFunctionConstant con)

Get function constant.

Parameters:

con - Function constant we are looking for.

Returns:

Function in this model.

comprehension

Entity comprehension(Entity[] array)

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

Parameters:

array - List of elements.

Returns:

Class that contains (exactly?) these elements.