package acgtk

  1. Overview
  2. Docs
type predicate = {
  1. p_id : ASPred.pred_id;
  2. arity : int;
}
module PredMap : Stdlib.Map.S with type key = ASPred.pred_id
module FactSet : Stdlib.Set.S with type elt = ASPred.predicate
val conditionnal_add : FactSet.elt -> FactSet.t -> FactSet.t -> FactSet.t -> FactSet.t
val facts_to_string : FactSet.t PredMap.t -> ASPred.PredIdTable.table -> Datalog_AbstractSyntax.ConstGen.Table.table -> string
module PredicateMap : Stdlib.Map.S with type key = ASPred.predicate
module Premise : sig ... end
module PremiseSet : Stdlib.Set.S with type elt = Premise.t
val add_map_to_premises_to_buffer : Stdlib.Buffer.t -> ASPred.PredIdTable.table -> Datalog_AbstractSyntax.ConstGen.Table.table -> PremiseSet.t PredicateMap.t -> unit
val add_pred_arguments_to_content : ASPred.term list -> (Datalog_AbstractSyntax.ConstGen.id UF.content list * int * int DatalogLib.Datalog_AbstractSyntax.VarGen.IdMap.t) -> Datalog_AbstractSyntax.ConstGen.id UF.content list * int * int DatalogLib.Datalog_AbstractSyntax.VarGen.IdMap.t