All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.lib._has_type_2 

java.lang.Object
   |
   +----prolog.Predicate
           |
           +----prolog.CompiledPredicate
                   |
                   +----prolog.lib._has_type_2
public class _has_type_2
extends CompiledPredicate
_has_type/2: Defines a predicate to have a specified type.

Predicate/Arity :: Arg1Type, Arg2Type, ...

See Also:
TypeDictionary, _type_def_2, listtypes_0

Constructor Index

o _has_type_2()

Method Index

o exec(Term[], Prolog)
Implements the functionality of the call.

Constructors

o _has_type_2 
 public _has_type_2()

Methods

o exec 
 public boolean exec(Term args[],
                     Prolog p) throws PrologException
Implements the functionality of the call.

Overrides:
exec in class CompiledPredicate 
All Packages  Class Hierarchy  This Package  Previous  Next  Index