stormpy.numbers.developer.cln

Warning

The stormpy developer API is internal and can be subject to change.

Functions

abs(arg0)
ceil(arg0)
create_factorized_polynomial(polynomial)
denominator(x)
div(arg0, arg1)
expand(x)
floor(arg0)
isInteger(arg0)
numerator(x)
pow(arg0, arg1)
quotient(arg0, arg1)

Classes

Factorization()
Integer(Integer Integer)	Class wrapping cln-integers
Interval(Interval Interval)
RationalFunction(...)	Represent a rational function, that is the fraction of two multivariate polynomials
Term(Term Term)