CPSolver.Model (Fixpoint v0.8.27)

Summary

Types

@type t() :: %CPSolver.Model{
  constraints: [CPSolver.Constraint.t()],
  extra: term(),
  id: reference(),
  name: term(),
  objective: CPSolver.Objective.t(),
  variables: [CPSolver.Variable.t()]
}

Functions

Link to this function

init_model(variables, constraints, objective)

Link to this function

new(variables, constraints, opts \\ [])