claripy.vsa.bool_result.BoolResult

class documentation

class BoolResult(BackendObject): (source)

Known subclasses: claripy.vsa.bool_result.FalseResult, claripy.vsa.bool_result.MaybeResult, claripy.vsa.bool_result.TrueResult

View In Hierarchy

Undocumented

Static Method has_false Undocumented
Static Method has_true Undocumented
Static Method is_false Undocumented
Static Method is_maybe Undocumented
Static Method is_true Undocumented
Method __and__ Undocumented
Method __eq__ Undocumented
Method __init__ Undocumented
Method __invert__ Undocumented
Method __len__ Undocumented
Method __or__ Undocumented
Method identical Undocumented
Method size Undocumented
Method union Undocumented
Method value Undocumented
Instance Variable _args Undocumented
Instance Variable _op Undocumented

Inherited from BackendObject:

Method to_claripy Claripy calls this to retrieve something that it can directly reason about.
Class Variable __slots__ Undocumented
@staticmethod
def has_false(o): (source)

Undocumented

@staticmethod
def has_true(o): (source)

Undocumented

@staticmethod
def is_false(o): (source)

Undocumented

@staticmethod
def is_maybe(o): (source)

Undocumented

@staticmethod
def is_true(o): (source)

Undocumented

def __and__(self, other): (source)
overridden in claripy.vsa.bool_result.FalseResult, claripy.vsa.bool_result.MaybeResult, claripy.vsa.bool_result.TrueResult

Undocumented

def __eq__(self, other): (source)
overridden in claripy.vsa.bool_result.FalseResult, claripy.vsa.bool_result.MaybeResult, claripy.vsa.bool_result.TrueResult

Undocumented

def __init__(self, op=None, args=None): (source)

Undocumented

def __invert__(self): (source)
overridden in claripy.vsa.bool_result.FalseResult, claripy.vsa.bool_result.MaybeResult, claripy.vsa.bool_result.TrueResult

Undocumented

def __len__(self): (source)

Undocumented

def __or__(self, other): (source)
overridden in claripy.vsa.bool_result.FalseResult, claripy.vsa.bool_result.MaybeResult, claripy.vsa.bool_result.TrueResult

Undocumented

def identical(self, other): (source)
overridden in claripy.vsa.bool_result.FalseResult, claripy.vsa.bool_result.MaybeResult, claripy.vsa.bool_result.TrueResult

Undocumented

def size(self): (source)

Undocumented

def union(self, other): (source)
overridden in claripy.vsa.bool_result.FalseResult, claripy.vsa.bool_result.MaybeResult, claripy.vsa.bool_result.TrueResult

Undocumented

def value(self): (source)
overridden in claripy.vsa.bool_result.FalseResult, claripy.vsa.bool_result.MaybeResult, claripy.vsa.bool_result.TrueResult

Undocumented

_args = (source)

Undocumented

_op = (source)

Undocumented