public interface Analysis extends Switch
java.lang.Object getIn(Node node)
void setIn(Node node, java.lang.Object o)
java.lang.Object getOut(Node node)
void setOut(Node node, java.lang.Object o)
void caseStart(Start node)
void caseAImpliesLtl(AImpliesLtl node)
void caseAAndLtl(AAndLtl node)
void caseAOrLtl(AOrLtl node)
void caseAUntilLtl(AUntilLtl node)
void caseAWeakuntilLtl(AWeakuntilLtl node)
void caseAReleaseLtl(AReleaseLtl node)
void caseASinceLtl(ASinceLtl node)
void caseATriggerLtl(ATriggerLtl node)
void caseANotLtl(ANotLtl node)
void caseAGloballyLtl(AGloballyLtl node)
void caseAFinallyLtl(AFinallyLtl node)
void caseANextLtl(ANextLtl node)
void caseAHistoricallyLtl(AHistoricallyLtl node)
void caseAOnceLtl(AOnceLtl node)
void caseAYesterdayLtl(AYesterdayLtl node)
void caseAEnabledLtl(AEnabledLtl node)
void caseAAvailableLtl(AAvailableLtl node)
void caseAWeakFairLtl(AWeakFairLtl node)
void caseAStrongFairLtl(AStrongFairLtl node)
void caseAActionLtl(AActionLtl node)
void caseAUnparsedLtl(AUnparsedLtl node)
void caseASinkLtl(ASinkLtl node)
void caseADeadlockLtl(ADeadlockLtl node)
void caseACurrentLtl(ACurrentLtl node)
void caseATrueLtl(ATrueLtl node)
void caseAFalseLtl(AFalseLtl node)
void caseAExistsLtl(AExistsLtl node)
void caseAForallLtl(AForallLtl node)
void caseAFairnessImplicationLtl(AFairnessImplicationLtl node)
void caseAStrongAssumptionsLtl(AStrongAssumptionsLtl node)
void caseAWeakAssumptionsLtl(AWeakAssumptionsLtl node)
void caseAStrongFairAllLtl(AStrongFairAllLtl node)
void caseAWeakFairAllLtl(AWeakFairAllLtl node)
void caseAAndFair1Ltl(AAndFair1Ltl node)
void caseAAndFair2Ltl(AAndFair2Ltl node)
void caseADlkLtl(ADlkLtl node)
void caseADetLtl(ADetLtl node)
void caseACtrlLtl(ACtrlLtl node)
void caseAOpActions(AOpActions node)
void caseTTrue(TTrue node)
void caseTFalse(TFalse node)
void caseTDlk(TDlk node)
void caseTDet(TDet node)
void caseTCtrl(TCtrl node)
void caseTSink(TSink node)
void caseTDeadlock(TDeadlock node)
void caseTCurrent(TCurrent node)
void caseTLPar(TLPar node)
void caseTRPar(TRPar node)
void caseTLSq(TLSq node)
void caseTEnabled(TEnabled node)
void caseTAvailable(TAvailable node)
void caseTAtomicPropositionBegin(TAtomicPropositionBegin node)
void caseTAtomicPropositionEnd(TAtomicPropositionEnd node)
void caseTApChar(TApChar node)
void caseTActionEnd(TActionEnd node)
void caseTActionBegin(TActionBegin node)
void caseTTpChar(TTpChar node)
void caseTExistsIdentifier(TExistsIdentifier node)
void caseTForallIdentifier(TForallIdentifier node)
void caseTArgsBegin(TArgsBegin node)
void caseTArgsEnd(TArgsEnd node)
void caseTActionsSplit(TActionsSplit node)
void caseTActionChar(TActionChar node)
void caseTImplies(TImplies node)
void caseTAnd(TAnd node)
void caseTOr(TOr node)
void caseTNot(TNot node)
void caseTUntil(TUntil node)
void caseTWeakuntil(TWeakuntil node)
void caseTRelease(TRelease node)
void caseTGlobally(TGlobally node)
void caseTFinally(TFinally node)
void caseTNext(TNext node)
void caseTSince(TSince node)
void caseTTrigger(TTrigger node)
void caseTHistorically(THistorically node)
void caseTOnce(TOnce node)
void caseTYesterday(TYesterday node)
void caseTStrongFairEverything(TStrongFairEverything node)
void caseTWeakFairEverything(TWeakFairEverything node)
void caseTStrongFair(TStrongFair node)
void caseTWeakFair(TWeakFair node)
void caseTWhiteSpace(TWhiteSpace node)
void caseEOF(EOF node)