package acgtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type predicate = {
  1. p_id : ASPred.pred_id;
  2. arity : int;
}

make_predicate p returns an actual predicate from some abstract syntax representation Datalog_AbstractSyntax.AbstractSyntax.Predicate. It is ensured that that predicate id of the concrate representation is the same as the abstract one.

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 pp_facts : ASPred.PredIdTable.table -> Datalog_AbstractSyntax.ConstGen.Table.table -> Stdlib.Format.formatter -> FactSet.t PredMap.t -> unit
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 pp_facts_from_premises : ?with_id:bool -> ASPred.PredIdTable.table -> Datalog_AbstractSyntax.ConstGen.Table.table -> Stdlib.Format.formatter -> 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
OCaml

Innovation. Community. Security.