CPSolver.BooleanVariable (Fixpoint v0.8.40)

Summary

Functions

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

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)