All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.Module_splay_tree 

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

Variable Index

o predicate_create_1
o predicate_create_2
o predicate_default__comparator_1
o predicate_empty_2F3_240_3
o predicate_empty_3
o predicate_empty_4
o predicate_empty__sub_2F4_240_6
o predicate_empty__sub_4
o predicate_get_2F5_240_9
o predicate_get_2F5_241_3
o predicate_get_4
o predicate_get_5
o predicate_get__all_3
o predicate_get__all__sub_3
o predicate_get__max_4
o predicate_get__max__sub_4
o predicate_get__min_4
o predicate_get__min__sub_4
o predicate_put_4
o predicate_refer_5
o predicate_reform__tree_3
o predicate_update_2F8_240_12
o predicate_update_5
o predicate_update_6
o predicate_update_8
o predicate_update__left_11
o predicate_update__left_2F11_240_15
o predicate_update__right_11
o predicate_update__right_2F11_240_15

Constructor Index

o Module_splay_tree()

Method Index

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

Variables

o predicate_create_1 
 public final Predicate predicate_create_1
o predicate_create_2 
 public final Predicate predicate_create_2
o predicate_default__comparator_1 
 public final Predicate predicate_default__comparator_1
o predicate_refer_5 
 public final Predicate predicate_refer_5
o predicate_empty_3 
 public final Predicate predicate_empty_3
o predicate_empty_2F3_240_3 
 public final Predicate predicate_empty_2F3_240_3
o predicate_empty_4 
 public final Predicate predicate_empty_4
o predicate_empty__sub_4 
 public final Predicate predicate_empty__sub_4
o predicate_empty__sub_2F4_240_6 
 public final Predicate predicate_empty__sub_2F4_240_6
o predicate_update_5 
 public final Predicate predicate_update_5
o predicate_put_4 
 public final Predicate predicate_put_4
o predicate_update_6 
 public final Predicate predicate_update_6
o predicate_update_8 
 public final Predicate predicate_update_8
o predicate_update_2F8_240_12 
 public final Predicate predicate_update_2F8_240_12
o predicate_update__left_11 
 public final Predicate predicate_update__left_11
o predicate_update__left_2F11_240_15 
 public final Predicate predicate_update__left_2F11_240_15
o predicate_update__right_11 
 public final Predicate predicate_update__right_11
o predicate_update__right_2F11_240_15 
 public final Predicate predicate_update__right_2F11_240_15
o predicate_get_4 
 public final Predicate predicate_get_4
o predicate_get_5 
 public final Predicate predicate_get_5
o predicate_get_2F5_241_3 
 public final Predicate predicate_get_2F5_241_3
o predicate_get_2F5_240_9 
 public final Predicate predicate_get_2F5_240_9
o predicate_get__all_3 
 public final Predicate predicate_get__all_3
o predicate_get__all__sub_3 
 public final Predicate predicate_get__all__sub_3
o predicate_get__max_4 
 public final Predicate predicate_get__max_4
o predicate_get__max__sub_4 
 public final Predicate predicate_get__max__sub_4
o predicate_get__min_4 
 public final Predicate predicate_get__min_4
o predicate_get__min__sub_4 
 public final Predicate predicate_get__min__sub_4
o predicate_reform__tree_3 
 public final Predicate predicate_reform__tree_3

Constructors

o Module_splay_tree 
 public Module_splay_tree()

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