public class PropagationGraph extends Object implements IFixedPointSystem<PointsToSetVariable>
Constructor and Description |
---|
PropagationGraph() |
public void addStatement(GeneralStatement<PointsToSetVariable> eq)
IllegalArgumentException
- if eq is nullpublic void addStatement(UnaryStatement<PointsToSetVariable> eq) throws IllegalArgumentException
IllegalArgumentException
public void removeVariable(PointsToSetVariable p)
public Iterator<AbstractStatement> getStatements()
IFixedPointSystem
IFixedPointStatement
s in this systemgetStatements
in interface IFixedPointSystem<PointsToSetVariable>
public void removeStatement(IFixedPointStatement<PointsToSetVariable> eq) throws IllegalArgumentException
IFixedPointSystem
removeStatement
in interface IFixedPointSystem<PointsToSetVariable>
IllegalArgumentException
public void reorder()
IFixedPointSystem
reorder
in interface IFixedPointSystem<PointsToSetVariable>
public Iterator<AbstractStatement> getStatementsThatUse(PointsToSetVariable v)
getStatementsThatUse
in interface IFixedPointSystem<PointsToSetVariable>
public Iterator<AbstractStatement> getStatementsThatDef(PointsToSetVariable v)
getStatementsThatDef
in interface IFixedPointSystem<PointsToSetVariable>
public int getNumberOfStatementsThatUse(PointsToSetVariable v)
getNumberOfStatementsThatUse
in interface IFixedPointSystem<PointsToSetVariable>
IllegalArgumentException
- if v is nullpublic int getNumberOfStatementsThatDef(PointsToSetVariable v)
getNumberOfStatementsThatDef
in interface IFixedPointSystem<PointsToSetVariable>
public Iterator<PointsToSetVariable> getVariables()
IFixedPointSystem
getVariables
in interface IFixedPointSystem<PointsToSetVariable>
public void performVerboseAction()
public boolean containsStatement(IFixedPointStatement<PointsToSetVariable> eq) throws IllegalArgumentException
containsStatement
in interface IFixedPointSystem<PointsToSetVariable>
IllegalArgumentException
public boolean containsVariable(PointsToSetVariable v)
containsVariable
in interface IFixedPointSystem<PointsToSetVariable>
public void addStatement(IFixedPointStatement<PointsToSetVariable> statement) throws IllegalArgumentException, UnimplementedError
IFixedPointSystem
addStatement
in interface IFixedPointSystem<PointsToSetVariable>
IllegalArgumentException
UnimplementedError
public NumberedGraph<PointsToSetVariable> getAssignmentGraph()
public Graph<PointsToSetVariable> getFilterAssignmentGraph()
public Graph<PointsToSetVariable> getFlowGraphIncludingImplicitConstraints()
public String spaceReport()