Exhort.SAT.IntVar (Exhort v0.1.0)

An integer variable defined in the model.

Link to this section Summary

Functions

Define a new integer variable.

Link to this section Types

@type t() :: %Exhort.SAT.IntVar{domain: term(), name: term(), res: term()}

Link to this section Functions

Link to this function

new(name, domain)

@spec new(
  name :: String.t(),
  domain :: {lower_bound :: integer(), upper_bound :: integer()} | integer()
) :: t()

Define a new integer variable.

  • name - The variable name that may be referenced in other expressions.
  • domain - The upper and lower bounds of the variable defined as a tuple, {lower_bound, upper_bound}.