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_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_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(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(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)