Index

A

abs() (in module pycarl) (in module pycarl.cln) (in module pycarl.gmp) (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method)

AND (pycarl.formula.FormulaType attribute)

B

BITVECTOR (pycarl.formula.FormulaType attribute) BOOL (pycarl.formula.FormulaType attribute) (pycarl.VariableType attribute)

BoundType (class in pycarl)

C

cache() (pycarl.cln.FactorizedPolynomial method) (pycarl.gmp.FactorizedPolynomial method) carl_version() (in module pycarl) ceil() (in module pycarl) (in module pycarl.cln) (in module pycarl.gmp) center() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) clear_monomial_pool() (in module pycarl) clear_pools() (in module pycarl) clear_variable_pool() (in module pycarl) coeff (pycarl.cln.Term property) (pycarl.gmp.Term property) coefficient (pycarl.cln.FactorizedPolynomial property) (pycarl.gmp.FactorizedPolynomial property) complement() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method)

constant_part() (pycarl.cln.FactorizedPolynomial method) (pycarl.cln.FactorizedRationalFunction method) (pycarl.cln.Polynomial method) (pycarl.cln.RationalFunction method) (pycarl.gmp.FactorizedPolynomial method) (pycarl.gmp.FactorizedRationalFunction method) (pycarl.gmp.Polynomial method) (pycarl.gmp.RationalFunction method) Constraint (class in pycarl.cln.formula) (class in pycarl.gmp.formula) CONSTRAINT (pycarl.formula.FormulaType attribute) contains() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) convert_to_cln() (in module pycarl.convert) convert_to_gmp() (in module pycarl.convert) create_factorized_polynomial() (in module pycarl.cln) (in module pycarl.gmp) create_monomial() (in module pycarl)

D

degree() (pycarl.cln.Polynomial method) (pycarl.gmp.Polynomial method) denominator (pycarl.cln.FactorizedRationalFunction property) (pycarl.cln.Rational property) (pycarl.cln.RationalFunction property) (pycarl.gmp.FactorizedRationalFunction property) (pycarl.gmp.Rational property) (pycarl.gmp.RationalFunction property) denominator() (in module pycarl.cln) (in module pycarl.gmp) derive() (pycarl.cln.FactorizedPolynomial method) (pycarl.cln.FactorizedRationalFunction method) (pycarl.cln.Polynomial method) (pycarl.cln.RationalFunction method) (pycarl.gmp.FactorizedPolynomial method) (pycarl.gmp.FactorizedRationalFunction method) (pycarl.gmp.Polynomial method) (pycarl.gmp.RationalFunction method)

diameter() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) difference() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) div() (in module pycarl) (in module pycarl.cln) (in module pycarl.gmp) (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method)

E

emptyInterval() (pycarl.cln.Interval static method) (pycarl.gmp.Interval static method) (pycarl.Interval static method) EQ (pycarl.formula.Relation attribute) evaluate() (pycarl.cln.FactorizedPolynomial method) (pycarl.cln.FactorizedRationalFunction method) (pycarl.cln.Polynomial method) (pycarl.cln.RationalFunction method) (pycarl.gmp.FactorizedPolynomial method) (pycarl.gmp.FactorizedRationalFunction method) (pycarl.gmp.Polynomial method) (pycarl.gmp.RationalFunction method)

EXISTS (pycarl.formula.FormulaType attribute) expand() (in module pycarl.cln) (in module pycarl.gmp) exponents (pycarl.Monomial property)

F

Factorization (class in pycarl.cln) (class in pycarl.gmp) factorization() (pycarl.cln.FactorizedPolynomial method) (pycarl.gmp.FactorizedPolynomial method) FactorizedPolynomial (class in pycarl.cln) (class in pycarl.gmp) FactorizedRationalFunction (class in pycarl.cln) (class in pycarl.gmp)

FALSE (pycarl.formula.FormulaType attribute) floor() (in module pycarl) (in module pycarl.cln) (in module pycarl.gmp) FORALL (pycarl.formula.FormulaType attribute) Formula (class in pycarl.cln.formula) (class in pycarl.gmp.formula) FormulaType (class in pycarl.formula)

G

gather_variables() (pycarl.cln.FactorizedPolynomial method) (pycarl.cln.FactorizedRationalFunction method) (pycarl.cln.Polynomial method) (pycarl.cln.RationalFunction method) (pycarl.gmp.FactorizedPolynomial method) (pycarl.gmp.FactorizedRationalFunction method) (pycarl.gmp.Polynomial method) (pycarl.gmp.RationalFunction method) GEQ (pycarl.formula.Relation attribute) get_constraint() (pycarl.cln.formula.Formula method) (pycarl.gmp.formula.Formula method) get_implication_conclusion() (pycarl.cln.formula.Formula method) (pycarl.gmp.formula.Formula method)

get_implication_premise() (pycarl.cln.formula.Formula method) (pycarl.gmp.formula.Formula method) get_ite_condition() (pycarl.cln.formula.Formula method) (pycarl.gmp.formula.Formula method) get_ite_first_case() (pycarl.cln.formula.Formula method) (pycarl.gmp.formula.Formula method) get_ite_second_case() (pycarl.cln.formula.Formula method) (pycarl.gmp.formula.Formula method) get_negation_subformula() (pycarl.cln.formula.Formula method) (pycarl.gmp.formula.Formula method) get_subformulas() (pycarl.cln.formula.Formula method) (pycarl.gmp.formula.Formula method) GREATER (pycarl.formula.Relation attribute)

H

has_cln() (in module pycarl)

has_parser() (in module pycarl)

I

id (pycarl.Variable property) IFF (pycarl.formula.FormulaType attribute) IMPLIES (pycarl.formula.FormulaType attribute) INFTY (pycarl.BoundType attribute) INT (pycarl.VariableType attribute) Integer (class in pycarl.cln) (class in pycarl.gmp) integralPart() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) intersect() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) intersectsWith() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) Interval (class in pycarl) (class in pycarl.cln) (class in pycarl.gmp) inverse() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) is_constant() (pycarl.cln.FactorizedPolynomial method) (pycarl.cln.FactorizedRationalFunction method) (pycarl.cln.Polynomial method) (pycarl.cln.RationalFunction method) (pycarl.cln.Term method) (pycarl.gmp.FactorizedPolynomial method) (pycarl.gmp.FactorizedRationalFunction method) (pycarl.gmp.Polynomial method) (pycarl.gmp.RationalFunction method) (pycarl.gmp.Term method) is_minus_one() (pycarl.cln.Rational method) is_no_variable (pycarl.Variable property) is_one() (pycarl.cln.FactorizedPolynomial method) (pycarl.cln.Rational method) (pycarl.cln.Term method) (pycarl.gmp.FactorizedPolynomial method) (pycarl.gmp.Term method) isClosedInterval() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isEmpty() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method)

isHalfBounded() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isInfinite() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isInteger() (in module pycarl) (in module pycarl.cln) (in module pycarl.gmp) isNegative() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isOne() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isOpenInterval() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isPointInterval() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isPositive() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isProperSubset() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isSemiNegative() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isSemiPositive() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isSubset() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isUnbounded() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) isZero() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) ITE (pycarl.formula.FormulaType attribute)

L

LEQ (pycarl.formula.Relation attribute) LESS (pycarl.formula.Relation attribute) lhs (pycarl.cln.formula.Constraint property) (pycarl.gmp.formula.Constraint property) lhs() (pycarl.cln.formula.SimpleConstraint method) (pycarl.cln.formula.SimpleConstraintRatFunc method) (pycarl.gmp.formula.SimpleConstraint method) (pycarl.gmp.formula.SimpleConstraintRatFunc method)

lower() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method)

M

meets() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) module pycarl pycarl.cln pycarl.cln.formula pycarl.convert pycarl.formula pycarl.gmp pycarl.gmp.formula

Monomial (class in pycarl) monomial (pycarl.cln.Term property) (pycarl.gmp.Term property)

N

name (pycarl.BoundType property) (pycarl.formula.FormulaType property) (pycarl.Variable property) (pycarl.VariableType property) name() (pycarl.formula.Relation method) NEQ (pycarl.formula.Relation attribute) nominator (pycarl.cln.Rational property) (pycarl.cln.RationalFunction property) (pycarl.gmp.Rational property) (pycarl.gmp.RationalFunction property) NoPicklingSupport

NOT (pycarl.formula.FormulaType attribute) nr_terms (pycarl.cln.Polynomial property) (pycarl.gmp.Polynomial property) numerator (pycarl.cln.FactorizedRationalFunction property) (pycarl.cln.Rational property) (pycarl.cln.RationalFunction property) (pycarl.gmp.FactorizedRationalFunction property) (pycarl.gmp.Rational property) (pycarl.gmp.RationalFunction property) numerator() (in module pycarl.cln) (in module pycarl.gmp)

O

OR (pycarl.formula.FormulaType attribute)

P

Polynomial (class in pycarl.cln) (class in pycarl.gmp) polynomial() (pycarl.cln.FactorizedPolynomial method) (pycarl.gmp.FactorizedPolynomial method) pow() (in module pycarl) (in module pycarl.cln) (in module pycarl.gmp) print_info() (in module pycarl) pycarl module pycarl.cln module

pycarl.cln.formula module pycarl.convert module pycarl.formula module pycarl.gmp module pycarl.gmp.formula module

Q

quotient() (in module pycarl) (in module pycarl.cln) (in module pycarl.gmp)

R

rank (pycarl.Variable property) Rational (class in pycarl.cln) (class in pycarl.gmp) rational_function() (pycarl.cln.FactorizedRationalFunction method) (pycarl.gmp.FactorizedRationalFunction method) RationalFunction (class in pycarl.cln) (class in pycarl.gmp)

REAL (pycarl.VariableType attribute) rel() (pycarl.cln.formula.SimpleConstraint method) (pycarl.cln.formula.SimpleConstraintRatFunc method) (pycarl.gmp.formula.SimpleConstraint method) (pycarl.gmp.formula.SimpleConstraintRatFunc method) Relation (class in pycarl.formula) relation (pycarl.cln.formula.Constraint property) (pycarl.gmp.formula.Constraint property)

S

sample() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) setLower() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method) setUpper() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method)

SimpleConstraint (class in pycarl.cln.formula) (class in pycarl.gmp.formula) SimpleConstraintRatFunc (class in pycarl.cln.formula) (class in pycarl.gmp.formula) STRICT (pycarl.BoundType attribute) substitute() (pycarl.cln.Polynomial method) (pycarl.gmp.Polynomial method) symmetricDifference() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method)

T

tdeg (pycarl.cln.Term property) (pycarl.gmp.Term property) (pycarl.Monomial property) Term (class in pycarl.cln) (class in pycarl.gmp) to_smt2() (pycarl.cln.FactorizedPolynomial method) (pycarl.cln.FactorizedRationalFunction method) (pycarl.cln.formula.Constraint method) (pycarl.cln.formula.Formula method) (pycarl.cln.Polynomial method) (pycarl.cln.RationalFunction method) (pycarl.gmp.FactorizedPolynomial method) (pycarl.gmp.FactorizedRationalFunction method) (pycarl.gmp.formula.Constraint method) (pycarl.gmp.formula.Formula method) (pycarl.gmp.Polynomial method) (pycarl.gmp.RationalFunction method)

total_degree (pycarl.cln.Polynomial property) (pycarl.gmp.Polynomial property) TRUE (pycarl.formula.FormulaType attribute) type (pycarl.cln.formula.Formula property) (pycarl.gmp.formula.Formula property) (pycarl.Variable property)

U

UEQ (pycarl.formula.FormulaType attribute) unboundedInterval() (pycarl.cln.Interval static method) (pycarl.gmp.Interval static method) (pycarl.Interval static method) unite() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method)

upper() (pycarl.cln.Interval method) (pycarl.gmp.Interval method) (pycarl.Interval method)

V

value (pycarl.BoundType property) (pycarl.formula.FormulaType property) (pycarl.formula.Relation property) (pycarl.VariableType property)

Variable (class in pycarl) variable_with_name() (in module pycarl) VariableType (class in pycarl)

W

WEAK (pycarl.BoundType attribute)

X

XOR (pycarl.formula.FormulaType attribute)

Z

zeroInterval() (pycarl.cln.Interval static method) (pycarl.gmp.Interval static method) (pycarl.Interval static method)