| Interface | Description |
|---|---|
| ComparableUnderEC | |
| EquivalenceConstraint | |
| LValueAssignmentCollector<T> | |
| LValueRewriter<T> | |
| LValueUsageCollector |
| Class | Description |
|---|---|
| BlockIdentifier | |
| BlockIdentifierFactory | |
| ConditionalUtils | |
| CreationCollector |
This is all a bit ugly, with the random casting going on.
|
| CreationCollector.StatementPair<X> | |
| DefaultEquivalenceConstraint | |
| LValueAssignmentAndAliasCondenser | |
| LValueAssignmentAndAliasCondenser.ExpressionStatementPair | |
| LValueAssignmentAndAliasCondenser.LValueStatementContainer | |
| LValueAssignmentAndAliasCondenser.VersionedLValue | |
| LValueAssignmentExpressionRewriter | |
| LValueRewriter.Util | |
| LValueUsageCollectorSimple | |
| LValueUsageCollectorSimpleRW | |
| Pair<X,Y> | |
| QuotingUtils | |
| SSAIdent | |
| SSAIdentifierFactory<KEYTYPE,CMPTYPE> | |
| SSAIdentifiers<KEYTYPE> | |
| SSAIdentifierUtils | |
| Triplet<X,Y,Z> |
| Enum | Description |
|---|---|
| ArrayType | |
| BlockType | |
| JumpType | |
| ReadWrite |