JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
de.be4.ltl.core.parser.node
Interface Switchable
All Known Implementing Classes:
AActionLtl
,
AAndFair1Ltl
,
AAndFair2Ltl
,
AAndLtl
,
AAvailableLtl
,
ACtrlLtl
,
ACurrentLtl
,
ADeadlockLtl
,
ADetLtl
,
ADlkLtl
,
AEnabledLtl
,
AExistsLtl
,
AFairnessImplicationLtl
,
AFalseLtl
,
AFinallyLtl
,
AForallLtl
,
AGloballyLtl
,
AHistoricallyLtl
,
AImpliesLtl
,
ANextLtl
,
ANotLtl
,
AOnceLtl
,
AOpActions
,
AOrLtl
,
AReleaseLtl
,
ASinceLtl
,
ASinkLtl
,
AStrongAssumptionsLtl
,
AStrongFairAllLtl
,
AStrongFairLtl
,
ATriggerLtl
,
ATrueLtl
,
AUnparsedLtl
,
AUntilLtl
,
AWeakAssumptionsLtl
,
AWeakFairAllLtl
,
AWeakFairLtl
,
AWeakuntilLtl
,
AYesterdayLtl
,
EOF
,
Node
,
PActions
,
PLtl
,
Start
,
TActionBegin
,
TActionChar
,
TActionEnd
,
TActionsSplit
,
TAnd
,
TApChar
,
TArgsBegin
,
TArgsEnd
,
TAtomicPropositionBegin
,
TAtomicPropositionEnd
,
TAvailable
,
TCtrl
,
TCurrent
,
TDeadlock
,
TDet
,
TDlk
,
TEnabled
,
TExistsIdentifier
,
TFalse
,
TFinally
,
TForallIdentifier
,
TGlobally
,
THistorically
,
TImplies
,
TLPar
,
TLSq
,
TNext
,
TNot
,
Token
,
TOnce
,
TOr
,
TRelease
,
TRPar
,
TSince
,
TSink
,
TStrongFair
,
TStrongFairEverything
,
TTpChar
,
TTrigger
,
TTrue
,
TUntil
,
TWeakFair
,
TWeakFairEverything
,
TWeakuntil
,
TWhiteSpace
,
TYesterday
public interface
Switchable
Method Summary
All Methods
Instance Methods
Abstract Methods
Modifier and Type
Method and Description
void
apply
(
Switch
sw)
Method Detail
apply
void apply(
Switch
sw)
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method