Declare a tree order relation.
(name: str, ctx: Context | None = None)
| 4374 | |
| 4375 | |
| 4376 | def TreeOrder(name: str, ctx: Context | None = None) -> FuncDeclRef: |
| 4377 | """Declare a tree order relation.""" |
| 4378 | s = DeclareSort(name) |
| 4379 | return FuncDeclRef(f"{name}_le", (s, s), BoolSort()) |
| 4380 | |
| 4381 | |
| 4382 | def PiecewiseLinearOrder(name: str, ctx: Context | None = None) -> FuncDeclRef: |
nothing calls this directly
no test coverage detected