All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----kl1.lang.Module | +----kl1.lang.Module_klicio
public final Predicate predicate_klicio_1
public final Predicate predicate_klicio_2
public final Predicate predicate_send__unix_3
public final Predicate predicate_close__unix_1
public final Predicate predicate_termin_2
public final Predicate predicate_termout_2
public final Predicate predicate_termupdt_2
public final Predicate predicate_in_3
public final Predicate predicate_out_3
public final Predicate predicate_updt_3
public final Predicate predicate_addop_5
public final Predicate predicate_addop2_5
public final Predicate predicate_rmop_4
public final Predicate predicate_rmop2_4
public final Predicate predicate_default__operator__table_1
public final Predicate predicate_output__stream_2
public final Predicate predicate_string__output_4
public final Predicate predicate_compute__string__length_3
public final Predicate predicate_fill__string_4
public final Predicate predicate_set__string__elements_6
public final Predicate predicate_string__input_5
public final Predicate predicate_update__lc_3
public Module_klicio()
public final void init(KL1Machine mach)
public Module exec(KL1Machine mach, Goalrec qp, Predicate toppred)
All Packages Class Hierarchy This Package Previous Next Index