Convert Real to Int (floor).
(x: ArithRef)
| 1666 | |
| 1667 | |
| 1668 | def ToInt(x: ArithRef) -> ArithRef: |
| 1669 | """Convert Real to Int (floor).""" |
| 1670 | return ArithRef( |
| 1671 | ToIntNode(x._ast), |
| 1672 | IntSort(), |
| 1673 | x._vars, |
| 1674 | ) |
| 1675 | |
| 1676 | |
| 1677 | def Sum(*args: ArithRef) -> ArithRef: |