| Package | Description |
|---|---|
| de.dhbwstuttgart.typeinference.assumptions |
| Modifier and Type | Field and Description |
|---|---|
private LocalVarDecl |
LocalVarAssumption.localVar |
| Constructor and Description |
|---|
LocalVarAssumption(LocalVarDecl localVar,
Type declaredType) |