package orgeat

  1. Overview
  2. Docs

Module Boltzmann.S_appliedSource

Sourcetype t
Sourceval zero : t
Sourceval is_zero : t -> bool
Sourceval one : t
Sourceval equal : t -> t -> bool
Sourceval map : ('a -> K.t) -> 'a Orgeat__Species.s -> t
Sourceval add : t -> t -> t
Sourceval neg : t -> t
Sourceval sub : t -> t -> t
Sourceval mul : t -> t -> t
Sourceval mul_scalar : K.t -> t -> t
Sourceval seq : t -> t
Sourceval set : t -> t
Sourceval cycle : t -> t
Sourceval seq_at_least_n : int -> t -> t
Sourceval seq_at_most_n : int -> t -> t
Sourceval tuple_n : int -> t -> t
Sourceval seq_bounded : min:int -> max:int -> t -> t
Sourceval of_scalar : K.t -> t
Sourceval of_class : Literal.Class.t -> t
Sourceval deriv_class : Literal.Class.t -> t -> t
Sourceval substitution : t Map.Make(Literal.Class).t -> t -> t
Sourceval deg_class : Literal.Class.t -> t -> int option
Sourceval is_polynomial_wrt_class : Literal.Class.t -> t -> bool
Sourceval to_string : t -> string
Sourceval get_value : t -> K.t
Sourceval get_value_opt : t -> K.t option
OCaml

Innovation. Community. Security.