Exhort.SAT.SolverResponse (Exhort v0.1.1)
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
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.