All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.Module_functor_table 

java.lang.Object
   |
   +----kl1.lang.Module
           |
           +----kl1.lang.Module_functor_table
public final class Module_functor_table
extends Module

Variable Index

o predicate__3D_2E_2E_2
o predicate_arg_3
o predicate_arg_4
o predicate_fill__args_4
o predicate_functor_3
o predicate_functor_4
o predicate_length_3
o predicate_new__functor_3
o predicate_setarg_4
o predicate_setarg_5

Constructor Index

o Module_functor_table()

Method Index

o exec(KL1Machine, Goalrec, Predicate)
Executes goals.
o init(KL1Machine)
Initializes the module.

Variables

o predicate_new__functor_3 
 public final Predicate predicate_new__functor_3
o predicate__3D_2E_2E_2 
 public final Predicate predicate__3D_2E_2E_2
o predicate_length_3 
 public final Predicate predicate_length_3
o predicate_fill__args_4 
 public final Predicate predicate_fill__args_4
o predicate_functor_3 
 public final Predicate predicate_functor_3
o predicate_functor_4 
 public final Predicate predicate_functor_4
o predicate_arg_3 
 public final Predicate predicate_arg_3
o predicate_arg_4 
 public final Predicate predicate_arg_4
o predicate_setarg_5 
 public final Predicate predicate_setarg_5
o predicate_setarg_4 
 public final Predicate predicate_setarg_4

Constructors

o Module_functor_table 
 public Module_functor_table()

Methods

o init 
 public final void init(KL1Machine mach)
Initializes the module.

Overrides:
init in class Module
o exec 
 public Module exec(KL1Machine mach,
                    Goalrec qp,
                    Predicate toppred)
Executes goals.

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