sig
type clauses = Ic.clause list
val make_eval_plain_clauses :
Cfg.cfg ->
Predicate.predicate_table ->
Term.symbol_table ->
NegativeUnits.store -> Term.term list -> IcSet.clauses
val negative_units_to_store :
NegativeUnits.store -> IcSet.clauses -> IcSet.clauses
val stratify : IcSet.clauses -> IcSet.clauses list
val sort_clauses : IcSet.clauses -> IcSet.clauses
val make_eval_inc_clauses :
IcSet.clauses -> Predicate.predicate list -> IcSet.clauses
val idb_predicates : IcSet.clauses -> Predicate.predicate list
val select_relevant_clauses :
IcSet.clauses -> Predicate.predicate -> IcSet.clauses
val split_clauses :
IcSet.clauses -> IcSet.clauses list * IcSet.clauses * IcSet.clauses
end