Fixpoint v0.13.2

CPSolver.BooleanVariable (Fixpoint v0.13.2)

Link to this section Summary

Functions

false?(var)
fixed?(var, val)
new(opts \\ [])
set_false(var)
set_true(var)
true?(var)

Link to this section Functions

Link to this function

false?(var)

Link to this function

fixed?(var, val)

Link to this function

new(opts \\ [])

Link to this function

set_false(var)

Link to this function

set_true(var)

Link to this function

true?(var)