Uses of Class
orbital.logic.functor.Functor.Specification

Packages that use Functor.Specification

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.moon.logic	Contains implementations of some logics as well as a logic and mathematical expression parser.

Uses of Functor.Specification in orbital.logic.functor

Fields in orbital.logic.functor declared as Functor.Specification

static Functor.Specification	VoidPredicate.callTypeDeclaration specification of these functors.
static Functor.Specification	VoidFunction.callTypeDeclaration specification of these functors.
static Functor.Specification	Predicate.callTypeDeclaration specification of these functors.
static Functor.Specification	Function.callTypeDeclaration specification of these functors.
static Functor.Specification	BinaryPredicate.callTypeDeclaration specification of these functors.
static Functor.Specification	BinaryFunction.callTypeDeclaration specification of these functors.

Methods in orbital.logic.functor that return Functor.Specification

static Functor.Specification

Functor.Specification.getSpecification(Functor f) Introspect on a functor and get a specification of his exposed signature.

Methods in orbital.logic.functor with parameters of type Functor.Specification

boolean

Functor.Specification.isCompatible(Functor.Specification b) Checks whether the given specification is compatible with this.

Constructors in orbital.logic.functor with parameters of type Functor.Specification

Functor.Specification(Functor.Specification[] parameterTypes, Functor.Specification returnType)
Create an exact specification with all properties declared.

Functor.Specification(Functor.Specification[] parameterTypes, Functor.Specification returnType)
Create an exact specification with all properties declared.

Uses of Functor.Specification in orbital.moon.logic

Methods in orbital.moon.logic with parameters of type Functor.Specification

void	UniqueSymbol.setSpecification(Functor.Specification spec)