Source file `constraintsisTrueC.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
type t = Cp__Var0.tb

let compute_vars_ti (_c: t) (_si: Cp__Impl0.Si.t) : unit = ()

let compute_vars_tb (c: t) (sb: Cp__Impl0.Sb.t) : unit =
  (Cp__Impl0.Sb.add sb c)

let propagate (e: (Cp__DomI.t, Cp__DomB.t) Cp__Type.env) (c: t) : unit =
  Cp__ConstraintHelpers.set_bool e c true

let check_model (mo: (Z.t, bool) Cp__Type.model) (c: t) : bool =
  Cp__Type.get_mod_bool mo c