CPSolver.Model (Fixpoint v0.10.1)

Summary

Types

t()

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

Functions

init_model(variables, constraints, objective)

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