maat.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