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
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}
.