dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::BitIncrementIterator Member List

This is the complete list of members for dlinear::BitIncrementIterator, including all inherited members.

BitIncrementIterator(std::size_t n)dlinear::BitIncrementIteratorinlineexplicit
BitIncrementIterator(std::vector< bool > starting_value)dlinear::BitIncrementIteratorexplicit
ending_vector_dlinear::BitIncrementIteratorprivate
fixed_dlinear::BitIncrementIteratorprivate
IsDone() constdlinear::BitIncrementIteratorprivate
IsFixed(std::size_t i) constdlinear::BitIncrementIteratorinline
Learn(std::size_t i)dlinear::BitIncrementIterator
Learn(std::size_t i, bool value)dlinear::BitIncrementIterator
ResetNonFixed()dlinear::BitIncrementIteratorprivate
ResetNonFixedLeft(std::size_t start_pos)dlinear::BitIncrementIteratorprivate
ResetNonFixedRight(std::size_t start_pos=0)dlinear::BitIncrementIteratorprivate
Set(std::size_t i, bool value, bool force=false)dlinear::BitIncrementIteratorinline
SetFixed(std::size_t i, bool fixed)dlinear::BitIncrementIteratorinline
starting_vector_dlinear::BitIncrementIteratorprivate
UpdateVector(std::size_t i, bool value)dlinear::BitIncrementIteratorprivate
vector_dlinear::BitIncrementIteratorprivate