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

Packages that use ModelFunctionConstant

org.qedeq.kernel.bo.logic.model

Here are simple model implementations.

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

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

void	DynamicModel.addFunctionConstant(ModelFunctionConstant constant, Function function) Add a function constant.
Function	UnaryDynamicModel.getFunctionConstant(ModelFunctionConstant con)
Function	DynamicModel.getFunctionConstant(ModelFunctionConstant con)
Function	Model.getFunctionConstant(ModelFunctionConstant con) Get function constant.
boolean	DynamicDirectInterpreter.hasFunctionConstant(ModelFunctionConstant constant) Is the given function constant already defined?