Uses of Package
orbital.logic.functor

Packages that use orbital.logic.functor

orbital.algorithm.evolutionary	Genetic algorithms simulate nature on a very abstract level to get solutions for sophisticated problems.
orbital.algorithm.template	A framework for general algorithmic evaluation schemes including search and planning algorithms.
orbital.awt	Extends the core Java AWT Package and includes some Beans and GUI add-ons as well as generic customizers.
orbital.logic.functor	Contains template interfaces for logic functors like Predicates and Functions that can be used for generalized call-back, and functional operations based upon them.
orbital.logic.imp	Defines a generic interface to (symbolic) logic systems.
orbital.logic.sign.type	Defines interfaces for general type systems.
orbital.logic.trs	Provides a term rewrite system (TRS) mechanism with substitution and unification.
orbital.math	Defines arithmetic objects and provides mathematical algorithms.
orbital.math.functional	Contains mathematical functors and extended functional operations.
orbital.moon.awt	Implementation of extended Bean, AWT and GUI Add-ons along with useful applet to application converters.
orbital.moon.logic	Contains implementations of some logics as well as a logic and mathematical expression parser.
orbital.moon.logic.functor	Experimental additional classes related to orbital.logic.functors.
orbital.util	Provides basic utility classes useful to ease several programming tasks.

Classes in orbital.logic.functor used by orbital.algorithm.evolutionary

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Classes in orbital.logic.functor used by orbital.algorithm.template

BinaryFunction
A functor that encapsulates the binary function f/2.

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Functor
An abstract base interface for all functors of an arity n applicable in any predicate-logic style.

MutableFunction
A mutable function that can change its values.

Classes in orbital.logic.functor used by orbital.awt

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Classes in orbital.logic.functor used by orbital.logic.functor

BinaryFunction
A functor that encapsulates the binary function f/2.

BinaryFunction.Composite
A composed BinaryFunction.

BinaryPredicate
A functor that encapsulates the binary predicate P/2.

BinaryPredicate.Composite
A composed BinaryPredicate.

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Function.Composite
A composed Function.

Functions
Function Implementations.

Functor
An abstract base interface for all functors of an arity n applicable in any predicate-logic style.

Functor.Composite
The base interface for all functors that are composed of other functors.

Functor.Specification
Represents a signature and type specification belonging to a functor.

MutableFunction
A mutable function that can change its values.

Predicate
A functor that encapsulates a unary predicate P/1.

Predicate.Composite
A composed Predicate.

Predicates
Predicate Implementations.

VoidFunction
A functor that encapsulates the void function f/0 which is constant if consistent.

VoidFunction.Composite
A composed VoidFunction.

VoidPredicate
A functor that encapsulates the void predicate P/0 which is constant if consistent.

VoidPredicate.Composite
A composed VoidPredicate.

Classes in orbital.logic.functor used by orbital.logic.imp

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Function.Composite
A composed Function.

Functor
An abstract base interface for all functors of an arity n applicable in any predicate-logic style.

Functor.Composite
The base interface for all functors that are composed of other functors.

Classes in orbital.logic.functor used by orbital.logic.sign.type

BinaryFunction
A functor that encapsulates the binary function f/2.

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Functor
An abstract base interface for all functors of an arity n applicable in any predicate-logic style.

Predicate
A functor that encapsulates a unary predicate P/1.

Classes in orbital.logic.functor used by orbital.logic.trs

BinaryFunction
A functor that encapsulates the binary function f/2.

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Functor
An abstract base interface for all functors of an arity n applicable in any predicate-logic style.

Predicate
A functor that encapsulates a unary predicate P/1.

Classes in orbital.logic.functor used by orbital.math

BinaryFunction
A functor that encapsulates the binary function f/2.

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Functor
An abstract base interface for all functors of an arity n applicable in any predicate-logic style.

Predicate
A functor that encapsulates a unary predicate P/1.

Classes in orbital.logic.functor used by orbital.math.functional

BinaryFunction
A functor that encapsulates the binary function f/2.

BinaryFunction.Composite
A composed BinaryFunction.

BinaryPredicate
A functor that encapsulates the binary predicate P/2.

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Function.Composite
A composed Function.

Functionals
Provides important compositional functionals for functors.

Functor
An abstract base interface for all functors of an arity n applicable in any predicate-logic style.

Functor.Composite
The base interface for all functors that are composed of other functors.

Predicate
A functor that encapsulates a unary predicate P/1.

Classes in orbital.logic.functor used by orbital.moon.awt

Functor
An abstract base interface for all functors of an arity n applicable in any predicate-logic style.

Predicate
A functor that encapsulates a unary predicate P/1.

Classes in orbital.logic.functor used by orbital.moon.logic

BinaryFunction
A functor that encapsulates the binary function f/2.

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Functor.Specification
Represents a signature and type specification belonging to a functor.

Classes in orbital.logic.functor used by orbital.moon.logic.functor

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Classes in orbital.logic.functor used by orbital.util

BinaryFunction
A functor that encapsulates the binary function f/2.

BinaryPredicate
A functor that encapsulates the binary predicate P/2.

Function
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.

Predicate
A functor that encapsulates a unary predicate P/1.