All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.BindingType

java.lang.Object
   |
   +----prolog.TermType
           |
           +----prolog.TypeVariable
                   |
                   +----prolog.BindingType

class BindingType
extends TypeVariable

Represents the type of a Binding (e.g. output argument).

This class is not public and therefore cannot be used outside this package.

All Packages  Class Hierarchy  This Package  Previous  Next  Index