Orbital library

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)
           
 


Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.