Symbol

class ninetoothed.Symbol(expr, constexpr=None, meta=None, lower_bound=None, upper_bound=None, power_of_two=None)

A class uesed to represent a symbol.

Parameters:

• expr – The expression used to construct the symbol.

• constexpr – Whether the symbol is a constexpr.

• mata – Whether the symbol is a meta.

• lower_bound – The minimum value for the symbol’s range.

• upper_bound – The maximum value for the symbol’s range.

• power_of_two – Whether the value should be a power of two.