All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----kl1.lang.Module | +----kl1.lang.Module_comparator
public final Predicate predicate_sort_5
public Module_comparator()
public final void init(KL1Machine mach)
public Module exec(KL1Machine mach, Goalrec qp, Predicate toppred)
All Packages Class Hierarchy This Package Previous Next Index