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.ctlparser.node
Interface Switchable
All Known Implementing Classes:
AActionCtl
,
AAfCtl
,
AAgCtl
,
AAnCtl
,
AAndCtl
,
ACurrentCtl
,
ADeadlockCtl
,
AEfCtl
,
AEgCtl
,
AEnabledCtl
,
AEnaCtl
,
AEnCtl
,
AEuCtl
,
AFalseCtl
,
AImpliesCtl
,
ANotCtl
,
AOrCtl
,
ASinkCtl
,
ATrueCtl
,
AUnparsedCtl
,
EOF
,
Node
,
PCtl
,
Start
,
TActionBegin
,
TActionEnd
,
TAnd
,
TApChar
,
TAtomicPropositionBegin
,
TAtomicPropositionEnd
,
TCurrent
,
TDeadlock
,
TEnabled
,
TExists
,
TFalse
,
TFinally
,
TForall
,
TGlobally
,
TImplies
,
TLPar
,
TLSq
,
TNext
,
TNot
,
Token
,
TOr
,
TRPar
,
TSink
,
TTpChar
,
TTrue
,
TUntil
,
TWhiteSpace
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