Exhort.SAT.IntervalVar (Exhort v0.1.1)
An interval variable defined in the model.
Link to this section Summary
Functions
Define a new interval variable.
Link to this section Types
Link to this section Functions
Link to this function
new(name, start, size, stop, opts \\ [])
@spec new( name :: String.t(), start :: atom() | String.t(), size :: integer(), stop :: atom() | String.t(), opts :: Keyword.t() ) :: t()
Define a new interval variable.
name
- The variable name that may be referenced in other expressions.start
- The lower bound of the intervalsize
- The step size of the parts of the itervalstop
- The upper bound of the intervalopts
- Supportsif: bool
as a condition on the interval constraint