package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = Model.t
type f0 = Model.f0
type f1 = Model.f1
type f2 = Model.f2
type f3 = Model.f3
val support0 : t -> f0 -> Crbtf.supp
val support1 : t -> f1 -> Crbtf.supp
val support2 : t -> f2 -> Crbtf.supp
val support3 : t -> f3 -> Crbtf.supp
val trivial0 : t -> f0 -> bool option
val trivial1 : t -> f1 -> bool option
val trivial2 : t -> f2 -> bool option
val trivial3 : t -> f3 -> bool option
val elim_exists : t -> int -> f0 list -> f1 list -> Crbtf.supp -> Crbtf.supp -> Crbtf.supp -> f1 * f2
val elim_forall0 : t -> int -> f0 -> Crbtf.supp -> Crbtf.supp -> Crbtf.supp -> f0
val elim_forall1 : t -> int -> f1 -> Crbtf.supp -> Crbtf.supp -> Crbtf.supp -> f1
val solve_parameter : t -> int -> f0 list -> f1 list -> Crbtf.supp -> f3
val backproj : t -> int -> f3 -> f2 -> Crbtf.supp -> Crbtf.supp -> Crbtf.supp -> Crbtf.supp -> f3