36 : value(val), available(true)
54 return std::make_shared<empty_index_ranget>();
59 return std::make_shared<indeterminate_index_ranget>();
index_range_ptrt make_empty_index_range()
index_range_ptrt make_indeterminate_index_range()
Common behaviour for abstract objects modelling values - constants, intervals, etc.
std::shared_ptr< index_ranget > index_range_ptrt
const exprt & current() const override
bool advance_to_next() override
Base class for all expressions.
indeterminate_index_ranget()
bool advance_to_next() override
single_value_index_ranget(const exprt &val)
const exprt & current() const override