Index

A

AssignmentConverter (class in wmpy.core.assignmentconverter) AssignmentExtractor (class in wmpy.enumeration.sae)

AsyncWrapper (class in wmpy.enumeration.asynchronous) atoms_finder (Weights attribute) AxisAlignedWrapper (class in wmpy.integration.axisaligned)

B

BooleanSimplifier (class in wmpy.core.utils)

C

cache (CacheWrapper attribute) CacheWrapper (class in wmpy.integration.cache) CNF (PolarityCNFizer attribute) CNFPreprocessor (class in wmpy.core.weights) compute() (WMISolver method) compute_inner_box() (CvxpyOptimizer method) (ScipyOptimizer method)

compute_outer_box() (ScipyOptimizer method) compute_skeleton() (Weights method) convert() (AssignmentConverter method) (PolarityCNFizer method) CvxpyOptimizer (class in wmpy.optimization.cvxpyoptimizer)

D

DEF_INTEGRATOR (WMISolver attribute) (WMSampler attribute)

degree (Polynomial property)

E

enumerate() (AsyncWrapper method) (Enumerator method) (SAEnumerator method) (TotalEnumerator method) Enumerator (class in wmpy.enumeration.enumerator)

env (Polytope attribute) (Weights attribute) evaluate() (WeightsEvaluator method) evaluator (Weights attribute) extract() (AssignmentExtractor method)

G

get_atoms() (WeightAtomsFinder method) (Weights method)

I

inequalities (Polytope attribute) Inequality (class in wmpy.core.inequality) inner_box (Polytope attribute) integrate() (AxisAlignedWrapper method) (CacheWrapper method) (Integrator method) (LattEIntegrator method) (ParallelWrapper method) (RejectionIntegrator method) integrate_batch() (AxisAlignedWrapper method) (CacheWrapper method) (Integrator method) (LattEIntegrator method) (ParallelWrapper method) (RejectionIntegrator method)

integrator (CacheWrapper attribute) Integrator (class in wmpy.integration.integrator) integrator (ParallelWrapper attribute) is_atom() (in module wmpy.core.utils) is_clause() (in module wmpy.core.utils) is_cnf() (in module wmpy.core.utils) is_literal() (in module wmpy.core.utils) is_zero (Polynomial property) iter_walk() (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method)

K

known_aliases() (LiteralNormalizer method)

L

LattEIntegrator (class in wmpy.integration.latte)

LiteralNormalizer (class in wmpy.core.utils)

M

mgr (Inequality attribute) (Polynomial attribute) module wmpy wmpy.core wmpy.core.assignmentconverter wmpy.core.inequality wmpy.core.polynomial wmpy.core.polytope wmpy.core.utils wmpy.core.weights wmpy.enumeration wmpy.enumeration.asynchronous wmpy.enumeration.enumerator wmpy.enumeration.sae wmpy.enumeration.total wmpy.integration wmpy.integration.axisaligned wmpy.integration.cache wmpy.integration.integrator wmpy.integration.latte wmpy.integration.parallel wmpy.integration.rejection wmpy.optimization wmpy.optimization.cvxpyoptimizer wmpy.optimization.scipyoptimizer wmpy.sampling wmpy.sampling.rejection wmpy.solvers wmpy.solvers.wmisolver wmpy.solvers.wmsampler

monomials (Polynomial attribute)

N

n_processes (ParallelWrapper attribute)

normalize() (LiteralNormalizer method)

O

optimize() (ScipyOptimizer method)

ordered_keys (Polynomial attribute) outer_box (Polytope attribute)

P

ParallelWrapper (class in wmpy.integration.parallel) PolarityCNFizer (class in wmpy.core.weights) Polynomial (class in wmpy.core.polynomial)

polynomial (Inequality attribute) PolynomialParser (class in wmpy.core.polynomial) Polytope (class in wmpy.core.polytope)

R

RejectionIntegrator (class in wmpy.integration.rejection)

RejectionSampler (class in wmpy.sampling.rejection)

S

SAEnumerator (class in wmpy.enumeration.sae) sample() (RejectionSampler method) (WMSampler method) ScipyOptimizer (class in wmpy.optimization.scipyoptimizer) set_function() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) set_handler() (AssignmentExtractor class method) (BooleanSimplifier class method) (CNFPreprocessor class method) (PolarityCNFizer class method) (PolynomialParser class method) (WeightAtomsFinder class method) (WeightConverterSkeleton class method) (WeightsEvaluator class method)

simplify() (BooleanSimplifier method) strict (Inequality attribute) super() (AssignmentExtractor class method) (BooleanSimplifier class method) (CNFPreprocessor class method) (PolarityCNFizer class method) (PolynomialParser class method) (WeightAtomsFinder class method) (WeightConverterSkeleton class method) (WeightsEvaluator class method)

T

to_numpy() (Inequality method) (Polynomial method) (Polytope method)

to_pysmt() (Inequality method) (Polynomial method) (Polytope method) TotalEnumerator (class in wmpy.enumeration.total)

V

variables (Polynomial attribute) (Polytope attribute)

W

walk() (AssignmentExtractor method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_algebraic_constant() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_all() (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) walk_and() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_any() (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) walk_array_select() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_array_store() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_array_value() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bool_constant() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_add() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_and() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_ashr() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_comp() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_concat() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_constant() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_extract() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_lshl() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_lshr() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_mul() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_neg() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_not() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_or() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_rol() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_ror() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_sdiv() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_sext() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_sle() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_slt() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_srem() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_sub() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_tonatural() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_udiv() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_ule() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_ult() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_urem() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_xor() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_bv_zext() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_div() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_equals() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_error() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_exists() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_false() (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method)

walk_forall() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_function() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_identity() (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) walk_iff() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_implies() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_int_constant() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_int_to_str() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_ite() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_le() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_lt() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_minus() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_none() (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) walk_not() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_or() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_plus() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_pow() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_real_constant() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_skip() (AssignmentExtractor method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_str_charat() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_str_concat() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_str_constant() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_str_contains() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_str_indexof() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_str_length() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_str_prefixof() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_str_replace() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_str_substr() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_str_suffixof() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_str_to_int() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_symbol() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_times() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_toreal() (AssignmentExtractor method) (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) (WeightConverterSkeleton method) (WeightsEvaluator method) walk_true() (BooleanSimplifier method) (CNFPreprocessor method) (PolarityCNFizer method) (PolynomialParser method) (WeightAtomsFinder method) weight_from_assignment() (Weights method) weight_func (Weights attribute) WeightAtomsFinder (class in wmpy.core.weights) WeightConverterSkeleton (class in wmpy.core.weights) Weights (class in wmpy.core.weights) WeightsEvaluator (class in wmpy.core.weights) WMISolver (class in wmpy.solvers.wmisolver) wmpy module wmpy.core module wmpy.core.assignmentconverter module wmpy.core.inequality module wmpy.core.polynomial module wmpy.core.polytope module wmpy.core.utils module wmpy.core.weights module wmpy.enumeration module wmpy.enumeration.asynchronous module wmpy.enumeration.enumerator module wmpy.enumeration.sae module wmpy.enumeration.total module wmpy.integration module wmpy.integration.axisaligned module wmpy.integration.cache module wmpy.integration.integrator module wmpy.integration.latte module wmpy.integration.parallel module wmpy.integration.rejection module wmpy.optimization module wmpy.optimization.cvxpyoptimizer module wmpy.optimization.scipyoptimizer module wmpy.sampling module wmpy.sampling.rejection module wmpy.solvers module wmpy.solvers.wmisolver module wmpy.solvers.wmsampler module WMSampler (class in wmpy.solvers.wmsampler)