claripy.solvers.SolverHybrid

class documentation

class SolverHybrid(frontend_mixins.ConstraintFixerMixin, frontend_mixins.ConcreteHandlerMixin, frontend_mixins.EagerResolutionMixin, frontend_mixins.ConstraintFilterMixin, frontend_mixins.ConstraintDeduplicatorMixin, frontend_mixins.SimplifySkipperMixin, frontends.HybridFrontend): (source)

View In Hierarchy

Undocumented

Method __init__ 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 SimplifySkipperMixin (via ConstraintFixerMixin, ConcreteHandlerMixin, EagerResolutionMixin, ConstraintFilterMixin, ConstraintDeduplicatorMixin):

Instance Variable _simplified Undocumented

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

Method combine Undocumented
Method downsize Undocumented
Method eval_to_ast Evaluates expression `e`, returning a list of `n` concrete ASTs.
Method finalize Undocumented
Method merge Undocumented
Method split Undocumented
Method unsat_core Undocumented
Property constraints Undocumented
Property variables Undocumented
Method _approximate_first_call Undocumented
Method _do_call Undocumented
Method _hybrid_call Undocumented
Instance Variable _approximate_first Undocumented
Instance Variable _approximate_frontend Undocumented
Instance Variable _exact_frontend Undocumented

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

Method blank_copy Undocumented
Method branch Undocumented
Method check_satisfiability Checks the satisfiability of stored constraints conjunction.
Static Method _split_constraints Returns independent constraints, split from this Frontend's `constraints`.
def __init__(self, exact_frontend=None, approximate_frontend=None, complex_auto_replace=True, replace_constraints=True, track=False, approximate_first=False, **kwargs): (source)
overrides claripy.frontend_mixins.constraint_deduplicator_mixin.ConstraintDeduplicatorMixin.__init__

Undocumented