ASPred (p.acgtk.1.5.3.doc.acgtkLib.datalogLib.DatalogLib.Datalog.ASPred)

Sourcetype term =

| Var of Datalog_AbstractSyntax.VarGen.id
| Const of Datalog_AbstractSyntax.ConstGen.id

Sourcetype pred_id = Datalog_AbstractSyntax.AbstractSyntax.Predicate.pred_id

Sourcemodule PredIdMap : Map.S with type key = pred_id

module PredIdTable : 
  UtilsLib.IdGenerator.CorrespondanceTableTYPE
    with type identifier = pred_id
    with type table =
           Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table

Sourcemodule PredIds : Set.S with type elt = pred_id

Sourcetype predicate = {

p_id : pred_id;
arity : int;
arguments : term list;
(*
It is assumed that the size of the list is the arity
*)

}

Source

val to_string : 
  predicate ->
  ?position:int ->
  PredIdTable.table ->
  Datalog_AbstractSyntax.ConstGen.Table.table ->
  string

Sourceval compare : predicate -> predicate -> int

Sourceval fake_pred_id : pred_id