All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.Module_variable 

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

Variable Index

o predicate_get__variable2_4
o predicate_get__variable_4
o predicate_unbound_2
o predicate_unwrap_2
o predicate_unwrap_3
o predicate_unwrap_4
o predicate_unwrap__functor_8
o predicate_unwrap__vector_6
o predicate_wrap_2
o predicate_wrap_2F2_240_3
o predicate_wrap__bound_2
o predicate_wrap__funct__elems_6
o predicate_wrap__vec__elems_4

Constructor Index

o Module_variable()

Method Index

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

Variables

o predicate_wrap_2 
 public final Predicate predicate_wrap_2
o predicate_wrap_2F2_240_3 
 public final Predicate predicate_wrap_2F2_240_3
o predicate_wrap__bound_2 
 public final Predicate predicate_wrap__bound_2
o predicate_wrap__vec__elems_4 
 public final Predicate predicate_wrap__vec__elems_4
o predicate_wrap__funct__elems_6 
 public final Predicate predicate_wrap__funct__elems_6
o predicate_unwrap_2 
 public final Predicate predicate_unwrap_2
o predicate_unwrap_3 
 public final Predicate predicate_unwrap_3
o predicate_unwrap_4 
 public final Predicate predicate_unwrap_4
o predicate_unwrap__functor_8 
 public final Predicate predicate_unwrap__functor_8
o predicate_unwrap__vector_6 
 public final Predicate predicate_unwrap__vector_6
o predicate_get__variable_4 
 public final Predicate predicate_get__variable_4
o predicate_get__variable2_4 
 public final Predicate predicate_get__variable2_4
o predicate_unbound_2 
 public final Predicate predicate_unbound_2

Constructors

o Module_variable 
 public Module_variable()

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