Module dev.civl.abc

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

Interface AssignAuxExprIF

All Superinterfaces:

AssignExprIF

public interface AssignAuxExprIF
extends AssignExprIF

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.abc.analysis.pointsTo.IF.AssignExprIF

AssignExprIF.AssignExprKind

Method Summary

Modifier and Type	Method	Description
int	id()

Methods inherited from interface dev.civl.abc.analysis.pointsTo.IF.AssignExprIF

isFull, kind, mayEquals, root, type

Method Details

id

int id()