Frama-C:
Plug-ins:
Libraries:

Frama-C API - Generator1

type t = {
  1. mutable generator0 : Generator0.t;
  2. mutable env : Environment.t;
}
and earray = {
  1. mutable generator0_array : Generator0.t array;
  2. mutable array_env : Environment.t;
}
type typ = Generator0.typ =
  1. | LINE
  2. | RAY
  3. | VERTEX
  4. | LINEMOD
  5. | RAYMOD
val make : Linexpr1.t -> Generator0.typ -> t
val copy : t -> t
val print : Stdlib.Format.formatter -> t -> unit
val get_typ : t -> Generator0.typ
val iter : (Coeff.t -> Var.t -> unit) -> t -> unit
val set_typ : t -> Generator0.typ -> unit
val set_list : t -> (Coeff.t * Var.t) list -> unit
val set_array : t -> (Coeff.t * Var.t) array -> unit
val get_coeff : t -> Var.t -> Coeff.t
val set_coeff : t -> Var.t -> Coeff.t -> unit
val extend_environment : t -> Environment.t -> t
val extend_environment_with : t -> Environment.t -> unit
val array_make : Environment.t -> int -> earray
val array_print : ?first:(unit, Stdlib.Format.formatter, unit) Stdlib.format -> ?sep:(unit, Stdlib.Format.formatter, unit) Stdlib.format -> ?last:(unit, Stdlib.Format.formatter, unit) Stdlib.format -> Stdlib.Format.formatter -> earray -> unit
val array_length : earray -> int
val array_get : earray -> int -> t
val array_set : earray -> int -> t -> unit
val array_extend_environment : earray -> Environment.t -> earray
val array_extend_environment_with : earray -> Environment.t -> unit
val get_env : t -> Environment.t
val get_linexpr1 : t -> Linexpr1.t
val get_generator0 : t -> Generator0.t