All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.FunctorArity

java.lang.Object
   |
   +----prolog.FunctorArity

public class FunctorArity
extends Object
implements Serializable
Represents a functor/arity pair. There should be precisely one instance of this class per such pair.


Variable Index

 o arity
 o ClassName
 o component
 o functor
 o functor_arity
Used by the clause indexer, functor/arity comparsions, compiled disjunctions.
 o JavaType
 o next
 o type
Used by the type subsystem.

Constructor Index

 o FunctorArity(String, int)
 o FunctorArity(String, int, int)

Method Index

 o toString()

Variables

 o ClassName
 static final String ClassName
 o JavaType
 static final ObjectType JavaType
 o functor
 public String functor
 o arity
 public int arity
 o functor_arity
 int functor_arity
Used by the clause indexer, functor/arity comparsions, compiled disjunctions.

 o type
 AlgebraicType type
Used by the type subsystem.

See Also:
TypeDictionary
 o component
 CompoundType component
 o next
 FunctorArity next

Constructors

 o FunctorArity
 FunctorArity(String functor,
              int arity,
              int functor_arity)
 o FunctorArity
 FunctorArity(String functor,
              int arity)

Methods

 o toString
 public String toString()
Overrides:
toString in class Object

All Packages  Class Hierarchy  This Package  Previous  Next  Index