claripy.solvers.SolverReplacement

class documentation

class SolverReplacement(frontend_mixins.ConstraintFixerMixin, frontend_mixins.ConcreteHandlerMixin, frontend_mixins.ConstraintDeduplicatorMixin, frontends.ReplacementFrontend): (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 ConstraintDeduplicatorMixin (via ConstraintFixerMixin, ConcreteHandlerMixin):

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

Inherited from ReplacementFrontend (via ConstraintFixerMixin, ConcreteHandlerMixin, ConstraintDeduplicatorMixin):

Method add_replacement Undocumented
Method clear_replacements Undocumented
Method downsize Undocumented
Method remove_replacements Undocumented
Method satisfiable Checks if stored constraints conjunction is satisfiable.
Method _add_solve_result Undocumented
Method _concrete_constraint Undocumented
Method _concrete_value Undocumented
Method _replace_list Undocumented
Method _replacement Undocumented
Instance Variable _actual_frontend Undocumented
Instance Variable _allow_symbolic Undocumented
Instance Variable _auto_replace Undocumented
Instance Variable _complex_auto_replace Undocumented
Instance Variable _replace_constraints Undocumented
Instance Variable _replacement_cache Undocumented
Instance Variable _replacements Undocumented
Instance Variable _unsafe_replacement Undocumented
Instance Variable _validation_frontend Undocumented

Inherited from ConstrainedFrontend (via ConstraintFixerMixin, ConcreteHandlerMixin, ConstraintDeduplicatorMixin, ReplacementFrontend):

Method check_satisfiability Checks the satisfiability of stored constraints conjunction.
Method combine Undocumented
Method finalize Undocumented
Method independent_constraints Undocumented
Method merge Undocumented
Method split Undocumented
Instance Variable constraints Undocumented
Instance Variable variables Undocumented
Instance Variable _finalized Undocumented

Inherited from Frontend (via ConstraintFixerMixin, ConcreteHandlerMixin, ConstraintDeduplicatorMixin, ReplacementFrontend, 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`.
Method _constraint_filter Undocumented