Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions |
Modifier and Type | Method and Description |
---|---|
ClockEqualityImpl |
signalTreeAPI.STree_mkClockEquality(ExprSignal exp1,
ExprSignal exp2)
Makes an abstract tree denoting an ClockEqualityImpl: exp1 ^= exp2
|
ClockEqualityImpl |
signalTreeAPI.STree_mkClockEqualitys(java.util.ArrayList<ExprSignal> exps)
Makes an abstract tree denoting an ClockEqualityImpl: exp1 ^= exp2 ^= ...
|