Z3RoundingMode
public extension Z3RoundingMode
-
Gets the statically-typed Z3Sort associated with
RoundingModeSort
from thisZ3RoundingMode
.
Docs (100% documented)
public extension Z3RoundingMode
Gets the statically-typed Z3Sort associated with RoundingModeSort
from
this Z3RoundingMode
.