claripy.frontend_mixins.model_cache_mixin.ModelCacheMixin

class documentation

class ModelCacheMixin: (source)

Known subclasses: claripy.solvers.Solver, claripy.solvers.SolverCompositeChild

View In Hierarchy

Undocumented

Method __init__ Undocumented
Method __setstate__ Undocumented
Method add Undocumented
Method batch_eval Undocumented
Method combine Undocumented
Method eval Undocumented
Method max Undocumented
Method min Undocumented
Method satisfiable Undocumented
Method simplify Undocumented
Method solution Undocumented
Method split Undocumented
Method update Updates this cache mixin with results discovered by the other split off one.
Method _blank_copy Undocumented
Method _copy Undocumented
Method _get_batch_solutions Undocumented
Method _get_models Undocumented
Method _get_solutions Undocumented
Method _model_hook Undocumented
Method _trivial_model_optimization Undocumented
Instance Variable _eval_exhausted Undocumented
Instance Variable _exhausted Undocumented
Instance Variable _max_exhausted Undocumented
Instance Variable _max_signed_exhausted Undocumented
Instance Variable _min_exhausted Undocumented
Instance Variable _min_signed_exhausted Undocumented
Instance Variable _models Undocumented
def __init__(self, *args, **kwargs): (source)
overridden in claripy.solvers.Solver, claripy.solvers.SolverCompositeChild

Undocumented

def __setstate__(self, base_state): (source)

Undocumented

def add(self, constraints, invalidate_cache=True, **kwargs): (source)

Undocumented

def batch_eval(self, asts, n, extra_constraints=(), **kwargs): (source)

Undocumented

def combine(self, others): (source)

Undocumented

def eval(self, e, n, **kwargs): (source)

Undocumented

def max(self, e, extra_constraints=(), signed=False, **kwargs): (source)

Undocumented

def min(self, e, extra_constraints=(), signed=False, **kwargs): (source)

Undocumented

def satisfiable(self, extra_constraints=(), **kwargs): (source)

Undocumented

def simplify(self, *args, **kwargs): (source)

Undocumented

def solution(self, e, v, extra_constraints=(), **kwargs): (source)

Undocumented

def split(self): (source)

Undocumented

def update(self, other): (source)

Updates this cache mixin with results discovered by the other split off one.

def _blank_copy(self, c): (source)

Undocumented

def _copy(self, c): (source)

Undocumented

def _get_batch_solutions(self, asts, n=None, extra_constraints=(), allow_unconstrained=True): (source)

Undocumented

def _get_models(self, extra_constraints=()): (source)

Undocumented

def _get_solutions(self, e, n=None, extra_constraints=(), allow_unconstrained=True): (source)

Undocumented

def _model_hook(self, m): (source)

Undocumented

def _trivial_model_optimization(self): (source)

Undocumented

_eval_exhausted = (source)

Undocumented

_exhausted: bool = (source)

Undocumented

_max_exhausted = (source)

Undocumented

_max_signed_exhausted = (source)

Undocumented

_min_exhausted = (source)

Undocumented

_min_signed_exhausted = (source)

Undocumented

_models = (source)

Undocumented