Create a fresh boolean constant.
(prefix: str = "b")
| 2163 | |
| 2164 | |
| 2165 | def FreshBool(prefix: str = "b") -> BoolRef: |
| 2166 | """Create a fresh boolean constant.""" |
| 2167 | r = FreshConst(BoolSort(), prefix) |
| 2168 | assert isinstance(r, BoolRef) |
| 2169 | return r |
| 2170 | |
| 2171 | |
| 2172 | def FreshReal(prefix: str = "x") -> ArithRef: |