Analysis (LTLParser 0.0.2 API)

All Superinterfaces:

Switch

All Known Implementing Classes:

AnalysisAdapter, APCollector, DepthFirstAdapter, FormulaWalker, NegationPusher, OperatorEliminator, ReversedDepthFirstAdapter
```
public interface Analysis
extends Switch
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`void`	`caseAAndStateform(AAndStateform node)`
`void`	`caseAAtomicpropTerm(AAtomicpropTerm node)`
`void`	`caseABimapAtomicprop(ABimapAtomicprop node)`
`void`	`caseABtreeAtomicprop(ABtreeAtomicprop node)`
`void`	`caseADllAtomicprop(ADllAtomicprop node)`
`void`	`caseAEqualAtomicprop(AEqualAtomicprop node)`
`void`	`caseAFalseTerm(AFalseTerm node)`
`void`	`caseAFinallyLtlform(AFinallyLtlform node)`
`void`	`caseAGloballyLtlform(AGloballyLtlform node)`
`void`	`caseAIdenticneighboursAtomicprop(AIdenticneighboursAtomicprop node)`
`void`	`caseAImpliesLtlform(AImpliesLtlform node)`
`void`	`caseAIsreachAtomicprop(AIsreachAtomicprop node)`
`void`	`caseAIsreachselAtomicprop(AIsreachselAtomicprop node)`
`void`	`caseANegStateform(ANegStateform node)`
`void`	`caseANextLtlform(ANextLtlform node)`
`void`	`caseANotequalAtomicprop(ANotequalAtomicprop node)`
`void`	`caseANtshapeAtomicprop(ANtshapeAtomicprop node)`
`void`	`caseAOrStateform(AOrStateform node)`
`void`	`caseAReleaseLtlform(AReleaseLtlform node)`
`void`	`caseASllAtomicprop(ASllAtomicprop node)`
`void`	`caseAStateformLtlform(AStateformLtlform node)`
`void`	`caseATerminatedAtomicprop(ATerminatedAtomicprop node)`
`void`	`caseATermLtlform(ATermLtlform node)`
`void`	`caseATreeAtomicprop(ATreeAtomicprop node)`
`void`	`caseATrueTerm(ATrueTerm node)`
`void`	`caseAUntilLtlform(AUntilLtlform node)`
`void`	`caseAVisitedAtomicprop(AVisitedAtomicprop node)`
`void`	`caseAVisitedbyAtomicprop(AVisitedbyAtomicprop node)`
`void`	`caseEOF(EOF node)`
`void`	`caseInvalidToken(InvalidToken node)`
`void`	`caseStart(Start node)`
`void`	`caseTAnd(TAnd node)`
`void`	`caseTApbimap(TApbimap node)`
`void`	`caseTApbtree(TApbtree node)`
`void`	`caseTApdll(TApdll node)`
`void`	`caseTApequal(TApequal node)`
`void`	`caseTApidenticneighbours(TApidenticneighbours node)`
`void`	`caseTApisreach(TApisreach node)`
`void`	`caseTApisreachsel(TApisreachsel node)`
`void`	`caseTApnotequal(TApnotequal node)`
`void`	`caseTApntshape(TApntshape node)`
`void`	`caseTApsll(TApsll node)`
`void`	`caseTApterminated(TApterminated node)`
`void`	`caseTAptree(TAptree node)`
`void`	`caseTApvisited(TApvisited node)`
`void`	`caseTApvisitedby(TApvisitedby node)`
`void`	`caseTBlank(TBlank node)`
`void`	`caseTFalse(TFalse node)`
`void`	`caseTFinally(TFinally node)`
`void`	`caseTGlobally(TGlobally node)`
`void`	`caseTImplies(TImplies node)`
`void`	`caseTLcurlyparen(TLcurlyparen node)`
`void`	`caseTLparen(TLparen node)`
`void`	`caseTNeg(TNeg node)`
`void`	`caseTNext(TNext node)`
`void`	`caseTOr(TOr node)`
`void`	`caseTRcurlyparen(TRcurlyparen node)`
`void`	`caseTRelease(TRelease node)`
`void`	`caseTRparen(TRparen node)`
`void`	`caseTTrue(TTrue node)`
`void`	`caseTUntil(TUntil node)`
`Object`	`getIn(Node node)`
`Object`	`getOut(Node node)`
`void`	`setIn(Node node, Object o)`
`void`	`setOut(Node node, Object o)`

Method Detail

getIn
```
Object getIn(Node node)
```

setIn

void setIn(Node node,
           Object o)

getOut
```
Object getOut(Node node)
```

setOut

void setOut(Node node,
            Object o)

caseStart
```
void caseStart(Start node)
```

caseAStateformLtlform

void caseAStateformLtlform(AStateformLtlform node)

caseANextLtlform

void caseANextLtlform(ANextLtlform node)

caseAGloballyLtlform

void caseAGloballyLtlform(AGloballyLtlform node)

caseAFinallyLtlform

void caseAFinallyLtlform(AFinallyLtlform node)

caseATermLtlform

void caseATermLtlform(ATermLtlform node)

caseAUntilLtlform

void caseAUntilLtlform(AUntilLtlform node)

caseAReleaseLtlform

void caseAReleaseLtlform(AReleaseLtlform node)

caseAImpliesLtlform

void caseAImpliesLtlform(AImpliesLtlform node)

caseANegStateform

void caseANegStateform(ANegStateform node)

caseAAndStateform

void caseAAndStateform(AAndStateform node)

caseAOrStateform

void caseAOrStateform(AOrStateform node)

caseATrueTerm
```
void caseATrueTerm(ATrueTerm node)
```

caseAFalseTerm
```
void caseAFalseTerm(AFalseTerm node)
```

caseAAtomicpropTerm

void caseAAtomicpropTerm(AAtomicpropTerm node)

caseATreeAtomicprop

void caseATreeAtomicprop(ATreeAtomicprop node)

caseABimapAtomicprop

void caseABimapAtomicprop(ABimapAtomicprop node)

caseABtreeAtomicprop

void caseABtreeAtomicprop(ABtreeAtomicprop node)

caseASllAtomicprop

void caseASllAtomicprop(ASllAtomicprop node)

caseADllAtomicprop

void caseADllAtomicprop(ADllAtomicprop node)

caseAVisitedAtomicprop

void caseAVisitedAtomicprop(AVisitedAtomicprop node)

caseAVisitedbyAtomicprop

void caseAVisitedbyAtomicprop(AVisitedbyAtomicprop node)

caseAIdenticneighboursAtomicprop

void caseAIdenticneighboursAtomicprop(AIdenticneighboursAtomicprop node)

caseAIsreachAtomicprop

void caseAIsreachAtomicprop(AIsreachAtomicprop node)

caseAIsreachselAtomicprop

void caseAIsreachselAtomicprop(AIsreachselAtomicprop node)

caseATerminatedAtomicprop

void caseATerminatedAtomicprop(ATerminatedAtomicprop node)

caseAEqualAtomicprop

void caseAEqualAtomicprop(AEqualAtomicprop node)

caseANotequalAtomicprop

void caseANotequalAtomicprop(ANotequalAtomicprop node)

caseANtshapeAtomicprop

void caseANtshapeAtomicprop(ANtshapeAtomicprop node)

caseTTrue
```
void caseTTrue(TTrue node)
```

caseTFalse
```
void caseTFalse(TFalse node)
```

caseTAnd
```
void caseTAnd(TAnd node)
```

caseTOr
```
void caseTOr(TOr node)
```

caseTNeg
```
void caseTNeg(TNeg node)
```

caseTNext
```
void caseTNext(TNext node)
```

caseTUntil
```
void caseTUntil(TUntil node)
```

caseTRelease
```
void caseTRelease(TRelease node)
```

caseTGlobally
```
void caseTGlobally(TGlobally node)
```

caseTFinally
```
void caseTFinally(TFinally node)
```

caseTImplies
```
void caseTImplies(TImplies node)
```

caseTBlank
```
void caseTBlank(TBlank node)
```

caseTLparen
```
void caseTLparen(TLparen node)
```

caseTRparen
```
void caseTRparen(TRparen node)
```

caseTLcurlyparen

void caseTLcurlyparen(TLcurlyparen node)

caseTRcurlyparen

void caseTRcurlyparen(TRcurlyparen node)

caseTAptree
```
void caseTAptree(TAptree node)
```

caseTApbtree
```
void caseTApbtree(TApbtree node)
```

caseTApbimap
```
void caseTApbimap(TApbimap node)
```

caseTApsll
```
void caseTApsll(TApsll node)
```

caseTApdll
```
void caseTApdll(TApdll node)
```

caseTApvisited
```
void caseTApvisited(TApvisited node)
```

caseTApvisitedby

void caseTApvisitedby(TApvisitedby node)

caseTApidenticneighbours

void caseTApidenticneighbours(TApidenticneighbours node)

caseTApisreach
```
void caseTApisreach(TApisreach node)
```

caseTApisreachsel

void caseTApisreachsel(TApisreachsel node)

caseTApterminated

void caseTApterminated(TApterminated node)

caseTApequal
```
void caseTApequal(TApequal node)
```

caseTApnotequal

void caseTApnotequal(TApnotequal node)

caseTApntshape
```
void caseTApntshape(TApntshape node)
```

caseEOF
```
void caseEOF(EOF node)
```

caseInvalidToken

void caseInvalidToken(InvalidToken node)

Interface Analysis

Method Summary

Method Detail

getIn

setIn

getOut

setOut

caseStart

caseAStateformLtlform

caseANextLtlform

caseAGloballyLtlform

caseAFinallyLtlform

caseATermLtlform

caseAUntilLtlform

caseAReleaseLtlform

caseAImpliesLtlform

caseANegStateform

caseAAndStateform

caseAOrStateform

caseATrueTerm

caseAFalseTerm

caseAAtomicpropTerm

caseATreeAtomicprop

caseABimapAtomicprop

caseABtreeAtomicprop

caseASllAtomicprop

caseADllAtomicprop

caseAVisitedAtomicprop

caseAVisitedbyAtomicprop

caseAIdenticneighboursAtomicprop

caseAIsreachAtomicprop

caseAIsreachselAtomicprop

caseATerminatedAtomicprop

caseAEqualAtomicprop

caseANotequalAtomicprop

caseANtshapeAtomicprop

caseTTrue

caseTFalse

caseTAnd

caseTOr

caseTNeg

caseTNext

caseTUntil

caseTRelease

caseTGlobally

caseTFinally

caseTImplies

caseTBlank

caseTLparen

caseTRparen

caseTLcurlyparen

caseTRcurlyparen

caseTAptree

caseTApbtree

caseTApbimap

caseTApsll

caseTApdll

caseTApvisited

caseTApvisitedby

caseTApidenticneighbours

caseTApisreach

caseTApisreachsel

caseTApterminated

caseTApequal

caseTApnotequal

caseTApntshape

caseEOF

caseInvalidToken