All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.AlgebraicType

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

class AlgebraicType
extends TermType
User-specified algebraic data 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