All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.Module_integer_arithmetics 

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

Variable Index

o predicate_add_3
o predicate_and_3
o predicate_complement_2
o predicate_divide_3
o predicate_exclusive__or_3
o predicate_minus_2
o predicate_modulo_3
o predicate_multiply_3
o predicate_or_3
o predicate_plus_2
o predicate_shift__left_3
o predicate_shift__right_3
o predicate_subtract_3

Constructor Index

o Module_integer_arithmetics()

Method Index

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

Variables

o predicate_add_3 
 public final Predicate predicate_add_3
o predicate_subtract_3 
 public final Predicate predicate_subtract_3
o predicate_multiply_3 
 public final Predicate predicate_multiply_3
o predicate_divide_3 
 public final Predicate predicate_divide_3
o predicate_modulo_3 
 public final Predicate predicate_modulo_3
o predicate_and_3 
 public final Predicate predicate_and_3
o predicate_or_3 
 public final Predicate predicate_or_3
o predicate_exclusive__or_3 
 public final Predicate predicate_exclusive__or_3
o predicate_shift__right_3 
 public final Predicate predicate_shift__right_3
o predicate_shift__left_3 
 public final Predicate predicate_shift__left_3
o predicate_complement_2 
 public final Predicate predicate_complement_2
o predicate_plus_2 
 public final Predicate predicate_plus_2
o predicate_minus_2 
 public final Predicate predicate_minus_2

Constructors

o Module_integer_arithmetics 
 public Module_integer_arithmetics()

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