Exhort.SAT.SolverResponse (Exhort v0.1.0)

A response from solving a model.

Provides functions for retrieving variable values from the response. The set of valid variables are those defined in the model that was solved.

Link to this section Summary

Functions

Get the corresponding value of the boolean variable.

Get the corresponding value of the integer variable.

A map of the response metadata, :status, :objective, :walltime, :usertime.

Get a variable value from the response.

Link to this section Types

@type t() :: %Exhort.SAT.SolverResponse{
  int_status: term(),
  model: term(),
  objective: term(),
  res: term(),
  status: term(),
  usertime: term(),
  walltime: term()
}

Link to this section Functions

Link to this function

bool_val(response, var)

@spec bool_val(t(), literal :: String.t() | atom() | Exhort.SAT.BoolVar.t()) ::
  boolean()

Get the corresponding value of the boolean variable.

Link to this function

build(map, model)

@spec build(map(), Exhort.SAT.Model.t()) :: t()
Link to this function

int_val(response, var)

@spec int_val(t(), var :: String.t() | atom() | Exhort.SAT.IntVar.t()) :: integer()

Get the corresponding value of the integer variable.

Link to this function

stats(response)

A map of the response metadata, :status, :objective, :walltime, :usertime.

Link to this function

value(response, var)

@spec value(t(), var :: Exhort.SAT.BoolVar.t() | Exhort.SAT.IntVar.t()) ::
  boolean() | integer()

Get a variable value from the response.