
Orbital library  
PREV NEXT  FRAMES NO FRAMES 
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 addons as well as generic customizers. 
orbital.logic.functor  Contains template interfaces for logic functors like Predicates and Functions that can be used for generalized callback, 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 Addons 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 predicatelogic 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 predicatelogic 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 predicatelogic 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 predicatelogic 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 predicatelogic 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 predicatelogic 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 predicatelogic 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 predicatelogic 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 . 

Orbital library 1.3.0: 11 Apr 2009 

PREV NEXT  FRAMES NO FRAMES 