package orgeat

You can search for identifiers within the package.

in-package search v0.2.0

Module `Sampling.Solver`Source

type species_system =
  K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
    Map.Make(Literal.Class).t

Sourcetype solution_kind =

| Poly of species_system
| Seq of K.t
| Tree of K.t * K.t Map.Make(Literal.Class).t

Source

val translate : 
  Literal.Class.t ->
  'a Combi.Make(K).class_tree ->
  species_system

Sourceval translate_class : 'a Combi.Make(K).combi_class -> species_system

Source

val is_well_founded : 
  species_system ->
  K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
    Smol.Matrix.Make(Literal.Class).m ->
  bool

Source

val newton_iteration : 
  species_system ->
  K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
    Smol.Matrix.Make(Literal.Class).m ->
  K.t ->
  K.t ->
  K.t Map.Make(Literal.Class).t option

Source

val eval_convergence_radius : 
  species_system ->
  K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
    Smol.Matrix.Make(Literal.Class).m ->
  K.t ->
  K.t * K.t Map.Make(Literal.Class).t option

Source

val classify : 
  species_system ->
  K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
    Smol.Matrix.Make(Literal.Class).m ->
  K.t ->
  solution_kind

Source

val solve : 
  species_system ->
  Literal.Class.t ->
  K.t ->
  int ->
  K.t * K.t Map.Make(Literal.Class).t option

Source

val solve_class : 
  'a Combi.Make(K).combi_class ->
  K.t ->
  int ->
  K.t * K.t Map.Make(Literal.Class).t option

package orgeat

Module Sampling.SolverSource

Module `Sampling.Solver`Source