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

@type t() :: %Exhort.SAT.IntervalVar{
  name: term(),
  opts: term(),
  res: term(),
  size: term(),
  start: term(),
  stop: term()
}

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 interval
  • size - The step size of the parts of the iterval
  • stop - The upper bound of the interval
  • opts - Supports if: bool as a condition on the interval constraint