Exhort.SAT.BoolVar (Exhort v0.1.0)

A boolean variable defined in the model.

Link to this section Summary

Functions

Define a new boolean variable. In the model, true and false are represented as 1 and 0, respectively.

Link to this section Types

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

Link to this section Functions

@spec new(name :: String.t()) :: t()

Define a new boolean variable. In the model, true and false are represented as 1 and 0, respectively.

  • name - The variable name that may be referenced in other expressions.