Declare a partial order relation.
(name: str, ctx: Context | None = None)
| 4362 | |
| 4363 | |
| 4364 | def PartialOrder(name: str, ctx: Context | None = None) -> FuncDeclRef: |
| 4365 | """Declare a partial order relation.""" |
| 4366 | s = DeclareSort(name) |
| 4367 | return FuncDeclRef(f"{name}_le", (s, s), BoolSort()) |
| 4368 | |
| 4369 | |
| 4370 | def LinearOrder(name: str, ctx: Context | None = None) -> FuncDeclRef: |
nothing calls this directly
no test coverage detected