Create a fresh constant with a unique name.
(sort: SortRef, prefix: str = "c")
| 2149 | |
| 2150 | |
| 2151 | def FreshConst(sort: SortRef, prefix: str = "c") -> ExprRef: |
| 2152 | """Create a fresh constant with a unique name.""" |
| 2153 | global _fresh_counter |
| 2154 | _fresh_counter += 1 |
| 2155 | return Const(f"{prefix}!{_fresh_counter}", sort) |
| 2156 | |
| 2157 | |
| 2158 | def FreshInt(prefix: str = "x") -> ArithRef: |