All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.Module_floating_arithmetics 

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

Variable Index

o predicate_floating__point__acos_2
o predicate_floating__point__add_3
o predicate_floating__point__asin_2
o predicate_floating__point__atan_2
o predicate_floating__point__ceil_2
o predicate_floating__point__cos_2
o predicate_floating__point__cosh_2
o predicate_floating__point__divide_3
o predicate_floating__point__exp_2
o predicate_floating__point__floor_2
o predicate_floating__point__log_2
o predicate_floating__point__multiply_3
o predicate_floating__point__power_3
o predicate_floating__point__sin_2
o predicate_floating__point__sinh_2
o predicate_floating__point__sqrt_2
o predicate_floating__point__subtract_3
o predicate_floating__point__tan_2
o predicate_floating__point__tanh_2
o predicate_floating__point__to__integer_2

Constructor Index

o Module_floating_arithmetics()

Method Index

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

Variables

o predicate_floating__point__add_3 
 public final Predicate predicate_floating__point__add_3
o predicate_floating__point__subtract_3 
 public final Predicate predicate_floating__point__subtract_3
o predicate_floating__point__multiply_3 
 public final Predicate predicate_floating__point__multiply_3
o predicate_floating__point__divide_3 
 public final Predicate predicate_floating__point__divide_3
o predicate_floating__point__power_3 
 public final Predicate predicate_floating__point__power_3
o predicate_floating__point__sin_2 
 public final Predicate predicate_floating__point__sin_2
o predicate_floating__point__cos_2 
 public final Predicate predicate_floating__point__cos_2
o predicate_floating__point__tan_2 
 public final Predicate predicate_floating__point__tan_2
o predicate_floating__point__asin_2 
 public final Predicate predicate_floating__point__asin_2
o predicate_floating__point__acos_2 
 public final Predicate predicate_floating__point__acos_2
o predicate_floating__point__atan_2 
 public final Predicate predicate_floating__point__atan_2
o predicate_floating__point__sinh_2 
 public final Predicate predicate_floating__point__sinh_2
o predicate_floating__point__cosh_2 
 public final Predicate predicate_floating__point__cosh_2
o predicate_floating__point__tanh_2 
 public final Predicate predicate_floating__point__tanh_2
o predicate_floating__point__exp_2 
 public final Predicate predicate_floating__point__exp_2
o predicate_floating__point__log_2 
 public final Predicate predicate_floating__point__log_2
o predicate_floating__point__sqrt_2 
 public final Predicate predicate_floating__point__sqrt_2
o predicate_floating__point__ceil_2 
 public final Predicate predicate_floating__point__ceil_2
o predicate_floating__point__floor_2 
 public final Predicate predicate_floating__point__floor_2
o predicate_floating__point__to__integer_2 
 public final Predicate predicate_floating__point__to__integer_2

Constructors

o Module_floating_arithmetics 
 public Module_floating_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