PathManager class
This class holds the symbolic constraints associated with the current execution path
❱ Methods
Iterator[ Constraint ] constraints()
Returns an iterator to the current path constraints
Iterator[ Constraint ] get_related_constraints(Union[ Value , Constraint ] x)
Returns an iterator over the current path constraints that are related to x. A constraint is considered related if it contains at least one abstract variable in common with x