| Package | Description |
|---|---|
| de.rwth.i2.attestor.generated.analysis | |
| de.rwth.i2.attestor.generated.node |
| Modifier and Type | Method and Description |
|---|---|
void |
Analysis.caseTApisreach(TApisreach node) |
void |
AnalysisAdapter.caseTApisreach(TApisreach node) |
| Modifier and Type | Method and Description |
|---|---|
TApisreach |
AIsreachAtomicprop.getApisreach() |
| Modifier and Type | Method and Description |
|---|---|
void |
AIsreachAtomicprop.setApisreach(TApisreach node) |
| Constructor and Description |
|---|
AIsreachAtomicprop(TLcurlyparen _lcurlyparen_,
TApisreach _apisreach_,
TRcurlyparen _rcurlyparen_) |
Copyright © 2018. All rights reserved.