Uses of Interface
dev.civl.abc.analysis.pointsTo.IF.AssignAuxExprIF

Packages that use AssignAuxExprIF

Package	Description
dev.civl.abc.analysis.pointsTo.IF

Uses of AssignAuxExprIF in dev.civl.abc.analysis.pointsTo.IF

Methods in dev.civl.abc.analysis.pointsTo.IF that return AssignAuxExprIF

Modifier and Type	Method	Description
AssignAuxExprIF	InsensitiveFlowFactory.assignAuxExpr(Type type)	creates a typed auxiliary abstract object