claripy.solvers.SolverCacheless

Modules Classes Names

class documentation

class SolverCacheless(frontend_mixins.ConstraintFixerMixin, frontend_mixins.ConcreteHandlerMixin, frontend_mixins.EagerResolutionMixin, frontend_mixins.ConstraintFilterMixin, frontend_mixins.ConstraintDeduplicatorMixin, frontend_mixins.SimplifySkipperMixin, frontends.FullFrontend): (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 FullFrontend (via ConstraintFixerMixin, ConcreteHandlerMixin, EagerResolutionMixin, ConstraintFilterMixin, ConstraintDeduplicatorMixin, SimplifySkipperMixin):

Method	`check_satisfiability`	Checks the satisfiability of stored constraints conjunction.
Method	`downsize`	Undocumented
Method	`merge`	Undocumented
Method	`unsat_core`	Undocumented
Instance Variable	`max_memory`	Undocumented
Instance Variable	`timeout`	Undocumented
Method	`_add_constraints`	Undocumented
Method	`_get_solver`	Undocumented
Class Variable	`_model_hook`	Undocumented
Instance Variable	`_solver_backend`	Undocumented
Instance Variable	`_tls`	Undocumented
Instance Variable	`_to_add`	Undocumented
Instance Variable	`_track`	Undocumented

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

Method	`combine`	Undocumented
Method	`finalize`	Undocumented
Method	`independent_constraints`	Undocumented
Method	`split`	Undocumented
Instance Variable	`constraints`	Undocumented
Instance Variable	`variables`	Undocumented
Instance Variable	`_finalized`	Undocumented

Inherited from Frontend (via ConstraintFixerMixin, ConcreteHandlerMixin, EagerResolutionMixin, ConstraintFilterMixin, ConstraintDeduplicatorMixin, SimplifySkipperMixin, FullFrontend, 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, backend=backends.z3, **kwargs): (source) ¶

overrides claripy.frontend_mixins.constraint_deduplicator_mixin.ConstraintDeduplicatorMixin.__init__

Undocumented