All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.TypeVariable

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

class TypeVariable
extends TermType
Represents a variable that ranges over types. Used to implement polymorphism.

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


All Packages  Class Hierarchy  This Package  Previous  Next  Index