def declare_variables(self, **vrs): """Declare unprimed and primed identifiers. These identifiers represent the values of (flexible) variables. """ d = bv.make_symbol_table(vrs) self.add_vars(d, flexible=True)
def declare_constants(self, **constants): """Declare unprimed identifiers. These identifiers represent constants, also known as rigid variables. """ d = bv.make_symbol_table(constants) self.add_vars(d, flexible=False)
def declare(self, **vrs): """Declare variable identifiers given as keyword args. Example: ```python c.declare(x=(2, 15), y='bool', z=(-3, 4)) ``` Wrapper of `self.add_vars` that may replace it. """ d = bv.make_symbol_table(vrs) self.add_vars(d)
def declare_constants(self, **constants): d = bv.make_symbol_table(constants) self.add_vars(d, flexible=False)
def declare_variables(self, **vrs): d = bv.make_symbol_table(vrs) self.add_vars(d, flexible=True)