Module Matching.Triggers

type t
val empty : t
val add_triggers_of_formulas : Util.triggers_env -> t -> (Expr.t * int * Explanation.t) AltErgoLib.Expr.Map.t -> t
val add_backward_triggers_of_formulas : t -> (Expr.t * int * Explanation.t) AltErgoLib.Expr.Map.t -> t
val add_forward_triggers_of_formulas : t -> (Expr.t * int * Explanation.t) AltErgoLib.Expr.Map.t -> t
val reinit_caches : unit -> unit

Empties the e-matching caches