Documentation

BitVecForeachIdx

Macro

BitVecForeachIdx Description Iterate over each bit var of given bitvector bv at each index idx into the bitvector. The variables var and idx declared and defined by this macro. idx will start from 0 and will go till bv->length - 1

BitVecForeachInRange

Macro

BitVecForeachInRange Description Iterate over bits in a specific range of the given bitvector bv. This is a convenience macro that iterates over a range using an internally managed index. The variable var is declared and defined by this macro.

BitVecForeachInRangeIdx

Macro

BitVecForeachInRangeIdx Description Iterate over bits in a specific range of the given bitvector bv at each index idx. The variables var and idx are declared and defined by this macro. idx will start from start and will go till end - 1

BitVecForeachReverse

Macro

BitVecForeachReverse Description Iterate over each bit var of the given bitvector bv in reverse order. This is a convenience macro that iterates backward using an internally managed index. The variable var is declared and defined by this macro.

BitVecForeachReverseIdx

Macro

BitVecForeachReverseIdx Description Iterate over each bit var of given bitvector bv at each index idx into the bitvector. The variables var and idx declared and defined by this macro. idx will start from bv->length - 1 and will go till 0