All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.Module_keyed_sorted_set 

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

Variable Index

o predicate_convert_2
o predicate_create_1
o predicate_create_2
o predicate_main_3
o predicate_message_2F3_240_4
o predicate_message_2F3_241_4
o predicate_message_2F3_242_7
o predicate_message_2F3_243_6
o predicate_message_2F3_244_5
o predicate_message_2F3_245_5
o predicate_message_2F3_246_5
o predicate_message_3

Constructor Index

o Module_keyed_sorted_set()

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_main_3 
 public final Predicate predicate_main_3
o predicate_message_3 
 public final Predicate predicate_message_3
o predicate_message_2F3_246_5 
 public final Predicate predicate_message_2F3_246_5
o predicate_message_2F3_245_5 
 public final Predicate predicate_message_2F3_245_5
o predicate_message_2F3_244_5 
 public final Predicate predicate_message_2F3_244_5
o predicate_message_2F3_243_6 
 public final Predicate predicate_message_2F3_243_6
o predicate_message_2F3_242_7 
 public final Predicate predicate_message_2F3_242_7
o predicate_message_2F3_241_4 
 public final Predicate predicate_message_2F3_241_4
o predicate_message_2F3_240_4 
 public final Predicate predicate_message_2F3_240_4
o predicate_convert_2 
 public final Predicate predicate_convert_2

Constructors

o Module_keyed_sorted_set 
 public Module_keyed_sorted_set()

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