orbital.logic.functor
Interface Function

All Superinterfaces:

Functor

All Known Subinterfaces:

Formula, Formula.Composite, Function, Function.Composite, Function.Composite, MutableFunction, Polynomial, Substitution, UnivariatePolynomial

All Known Implementing Classes:

Functionals.Anamorphism, Functionals.Catamorphism, Functionals.Hylomorphism, Functionals.Paramorphism, HeuristicAlgorithm.PatternDatabaseHeuristic, LogicBasis, MutableFunction.TableFunction

public interface Function
extends Functor

A functor that encapsulates the unary function f/1 which is kind of the most general Functor. Like "r = f(a)" it applies on

• argument of type A.
• returns of type B.

The set of all functions (or maps) of type A→B is called Map(A,B) = B^A. For any cardinalities of A,B, it is in fact true that |B^A| = |B|^|A|. These functions of Map(A,B) have the form

f: A→B; a ↦ f(a)

Author:

André Platzer

See Also:

BinaryFunction, VoidFunction, Properties of Functions

Structure:

inherit Functor

Nested Class Summary

static interface

Function.Composite A composed Function.

Nested classes/interfaces inherited from interface orbital.logic.functor.Functor

Functor.Specification

Field Summary

static Functor.Specification

callTypeDeclaration specification of these functors.

Method Summary

java.lang.Object

apply(java.lang.Object arg) Called to apply the Function.

Methods inherited from interface orbital.logic.functor.Functor

equals, hashCode, toString

Field Detail

callTypeDeclaration

static final Functor.Specification callTypeDeclaration

specification of these functors.

Method Detail

apply

java.lang.Object apply(java.lang.Object arg)

Called to apply the Function. Evaluates to f(a).

Parameters:

arg - generic Object as argument

Returns:

returns a generic Object.