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

Packages that use Function

org.qedeq.kernel.bo.logic.model

Here are simple model implementations.

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

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

static Function	SixDynamicModel.FUNCTION_EMPTY Map to empty class.
static Function	FourDynamicModel.FUNCTION_ONE Map to 1.
static Function	ThreeDynamicModel.FUNCTION_ONE Map to 1.
static Function	SixDynamicModel.FUNCTION_ONE_ONE Map to {1}.
static Function	SixDynamicModel.FUNCTION_ONE_TWO Map to {2}.
static Function	FourDynamicModel.FUNCTION_THREE Map to 2.
static Function	FourDynamicModel.FUNCTION_TWO Map to 2.
static Function	ThreeDynamicModel.FUNCTION_TWO Map to 2.
static Function	SixDynamicModel.FUNCTION_TWO_ONE_TWO Map to {1, 2}.
static Function	UnaryDynamicModel.FUNCTION_ZERO Map to zero.
static Function	FourDynamicModel.FUNCTION_ZERO Map to empty class.
static Function	ThreeDynamicModel.FUNCTION_ZERO Map to empty class.
static Function	SixDynamicModel.FUNCTION_ZERO_ONE Map to 1.
static Function	SixDynamicModel.FUNCTION_ZERO_TWO Map to 2.

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

Function	FunctionVariableInterpreter.getFunction(FunctionVariable var) Get interpretation for function of model for given function variable.
Function	UnaryDynamicModel.getFunction(int size, int number)
Function	DynamicModel.getFunction(int size, int number)
Function	Model.getFunction(int size, int number) Get function.
Function	UnaryDynamicModel.getFunctionConstant(ModelFunctionConstant con)
Function	DynamicModel.getFunctionConstant(ModelFunctionConstant con)
Function	Model.getFunctionConstant(ModelFunctionConstant con) Get function constant.

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

void	DynamicModel.addFunction(int size, Function function) Add a function for interpreting function variables.
void	DynamicModel.addFunctionConstant(ModelFunctionConstant constant, Function function) Add a function constant.