package acgtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Log is the log module for NewMagic

type extra_pred_type =
  1. | Magic
  2. | Supp_zero
  3. | Supp_k
val make_magic : DatalogLib.Datalog_AbstractSyntax.AbstractSyntax.Program.program -> DatalogLib.Datalog_AbstractSyntax.AbstractSyntax.Program.program * extra_pred_type DatalogLib.Datalog.ASPred.PredIdMap.t * int DatalogLib.Datalog_AbstractSyntax.RuleIdMap.t

make magic unique_binding_prog returns a 4-uple (magic_prog, magic_preds, magic_to_unique_binding_rule_map, magic_to_original_pred_map) where:

  • magic_prog is the resulting magic program. IMPORTANT: predicates ids/name relations for existing predicate in unique_binding_prog is unchanged
  • magic_preds a record containing the different magic and supplementary predicates that have been added
  • magic_to_unique_binding_rule_map is a map from magic rules to the corresponding rules of the unique binding program
  • magic_to_original_pred_map is a map from ids of predicates of the magic program to the corresponding predicate ids of the original program

query_to_seed query program Build the seed from the query and update the program consequently.

query_to_seed query program Build the seed from the query and update the program consequently.

OCaml

Innovation. Community. Security.