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

Packages that use Function

org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

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

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

boolean	FunctionExistenceChecker.functionExists(Function function) Check if a function is already defined.
boolean	EverythingExists.functionExists(Function function)
boolean	DefaultExistenceChecker.functionExists(Function function) Check if a function constant is already defined.
FunctionDefinition	DefaultExistenceChecker.get(Function function) Get function constant definition.