claripy.annotation.SimplificationAvoidanceAnnotation

class documentation

class SimplificationAvoidanceAnnotation(Annotation): (source)

View In Hierarchy

Undocumented

Property eliminatable Returns whether this annotation can be eliminated in a simplification.
Property relocatable Returns whether this annotation can be relocated in a simplification.

Inherited from Annotation:

Method relocate This is called when an annotation has to be relocated because of simplifications.
@property
eliminatable = (source)
overrides claripy.annotation.Annotation.eliminatable

Returns whether this annotation can be eliminated in a simplification. :return: True if eliminatable, False otherwise

@property
relocatable = (source)
overrides claripy.annotation.Annotation.relocatable

Returns whether this annotation can be relocated in a simplification. :return: True if it can be relocated, false otherwise.