claripy.solvers.SolverComposite

Modules Classes Names

class documentation

class SolverComposite(frontend_mixins.ConstraintFixerMixin, frontend_mixins.ConcreteHandlerMixin, frontend_mixins.EagerResolutionMixin, frontend_mixins.ConstraintFilterMixin, frontend_mixins.ConstraintDeduplicatorMixin, frontend_mixins.SatCacheMixin, frontend_mixins.SimplifySkipperMixin, frontend_mixins.SimplifyHelperMixin, frontend_mixins.ConstraintExpansionMixin, frontend_mixins.CompositedCacheMixin, frontends.CompositeFrontend): (source)

View In Hierarchy

Undocumented

Method	`__init__`	Undocumented
Method	`__repr__`	Undocumented

Inherited from ConstraintFixerMixin:

Method add Undocumented

Inherited from ConcreteHandlerMixin (via ConstraintFixerMixin):

Method	`batch_eval`	Undocumented
Method	`eval`	Undocumented
Method	`is_false`	Undocumented
Method	`is_true`	Undocumented
Method	`max`	Undocumented
Method	`min`	Undocumented
Method	`solution`	Undocumented

Inherited from EagerResolutionMixin (via ConstraintFixerMixin, ConcreteHandlerMixin):

Method _concrete_value Undocumented

Inherited from ConstraintFilterMixin (via ConstraintFixerMixin, ConcreteHandlerMixin, EagerResolutionMixin):

Method	`satisfiable`	Undocumented
Method	`_constraint_filter`	Undocumented

Inherited from ConstraintDeduplicatorMixin (via ConstraintFixerMixin, ConcreteHandlerMixin, EagerResolutionMixin, ConstraintFilterMixin):

Method	`__getstate__`	Undocumented
Method	`__setstate__`	Undocumented
Method	`simplify`	Undocumented
Method	`_blank_copy`	Undocumented
Method	`_copy`	Undocumented
Instance Variable	`_constraint_hashes`	Undocumented

Inherited from SatCacheMixin (via ConstraintFixerMixin, ConcreteHandlerMixin, EagerResolutionMixin, ConstraintFilterMixin, ConstraintDeduplicatorMixin):

Instance Variable _cached_satness Undocumented

Inherited from SimplifySkipperMixin (via ConstraintFixerMixin, ConcreteHandlerMixin, EagerResolutionMixin, ConstraintFilterMixin, ConstraintDeduplicatorMixin, SatCacheMixin):

Instance Variable _simplified Undocumented

Inherited from CompositedCacheMixin (via ConstraintFixerMixin, ConcreteHandlerMixin, EagerResolutionMixin, ConstraintFilterMixin, ConstraintDeduplicatorMixin, SatCacheMixin, SimplifySkipperMixin, SimplifyHelperMixin, ConstraintExpansionMixin):

Method	`downsize`	Undocumented
Method	`_remove_cached`	Undocumented
Method	`_solver_for_names`	Undocumented
Method	`_store_child`	Undocumented
Instance Variable	`_merged_solvers`	Undocumented

Inherited from CompositeFrontend (via ConstraintFixerMixin, ConcreteHandlerMixin, EagerResolutionMixin, ConstraintFilterMixin, ConstraintDeduplicatorMixin, SatCacheMixin, SimplifySkipperMixin, SimplifyHelperMixin, ConstraintExpansionMixin, CompositedCacheMixin):

Method	`check_satisfiability`	Checks the satisfiability of stored constraints conjunction.
Method	`combine`	Undocumented
Method	`finalize`	Undocumented
Method	`max_memory.setter`	Undocumented
Method	`merge`	Undocumented
Method	`split`	Undocumented
Method	`timeout.setter`	Undocumented
Method	`unsat_core`	Undocumented
Method	`variables.setter`	Undocumented
Instance Variable	`constraints`	Undocumented
Property	`max_memory`	Undocumented
Property	`timeout`	Undocumented
Property	`variables`	Undocumented
Static Method	`_merge_with_ancestor`	Undocumented
Static Method	`_names_for`	Undocumented
Method	`_add_dependent_constraints`	Undocumented
Method	`_claim`	Undocumented
Method	`_ensure_sat`	Undocumented
Method	`_merged_solver_for`	Undocumented
Method	`_reabsorb_solver`	Undocumented
Method	`_shared_solvers`	Returns a sequence of the solvers that self and others share.
Method	`_shared_varsets`	Undocumented
Method	`_solvers_for_variables`	Undocumented
Method	`_split_child`	Undocumented
Method	`_variable_sets`	Undocumented
Instance Variable	`_owned_solvers`	Undocumented
Instance Variable	`_solvers`	Undocumented
Instance Variable	`_template_frontend`	Undocumented
Instance Variable	`_template_frontend_string`	Undocumented
Instance Variable	`_track`	Undocumented
Instance Variable	`_unchecked_solvers`	Undocumented
Instance Variable	`_unsat`	Undocumented
Property	`_solver_list`	Undocumented

Inherited from ConstrainedFrontend (via ConstraintFixerMixin, ConcreteHandlerMixin, EagerResolutionMixin, ConstraintFilterMixin, ConstraintDeduplicatorMixin, SatCacheMixin, SimplifySkipperMixin, SimplifyHelperMixin, ConstraintExpansionMixin, CompositedCacheMixin, CompositeFrontend):

Method	`independent_constraints`	Undocumented
Instance Variable	`_finalized`	Undocumented

Inherited from Frontend (via ConstraintFixerMixin, ConcreteHandlerMixin, EagerResolutionMixin, ConstraintFilterMixin, ConstraintDeduplicatorMixin, SatCacheMixin, SimplifySkipperMixin, SimplifyHelperMixin, ConstraintExpansionMixin, CompositedCacheMixin, CompositeFrontend, ConstrainedFrontend):

Method	`blank_copy`	Undocumented
Method	`branch`	Undocumented
Method	`eval_to_ast`	Evaluates expression `e`, returning a list of `n` concrete ASTs.
Static Method	`_split_constraints`	Returns independent constraints, split from this Frontend's `constraints`.

def __init__(self, template_solver=None, track=False, template_solver_string=None, **kwargs): (source) ¶

overrides claripy.frontend_mixins.constraint_deduplicator_mixin.ConstraintDeduplicatorMixin.__init__

Undocumented

def __repr__(self): (source) ¶

Undocumented