All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.UserType

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

class UserType
extends TermType
User-specified types. We assume that each component has a distinct functor/arity.

See Also:
_type_def_2

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


All Packages  Class Hierarchy  This Package  Previous  Next  Index