Analysis (probkodkod 1.0.4 API)

All Superinterfaces:

Switch

All Known Implementing Classes:

AnalysisAdapter, DepthFirstAdapter, KodkodAnalysis, ReversedDepthFirstAdapter
```
public interface Analysis
extends Switch
```

Method Summary

Methods
Modifier and Type	Method and Description
`void`	`caseAAddIntexprBinop(AAddIntexprBinop node)`
`void`	`caseAAllQuantifier(AAllQuantifier node)`
`void`	`caseAAndInnerformula(AAndInnerformula node)`
`void`	`caseAArgument(AArgument node)`
`void`	`caseABinaryInnerexpression(ABinaryInnerexpression node)`
`void`	`caseABinaryInnerformula(ABinaryInnerformula node)`
`void`	`caseABinaryInnerintexpression(ABinaryInnerintexpression node)`
`void`	`caseABitpart(ABitpart node)`
`void`	`caseACardInnerintexpression(ACardInnerintexpression node)`
`void`	`caseACastInnerexpression(ACastInnerexpression node)`
`void`	`caseACastInnerintexpression(ACastInnerintexpression node)`
`void`	`caseAClosureExprUnop(AClosureExprUnop node)`
`void`	`caseACompInnerexpression(ACompInnerexpression node)`
`void`	`caseAConsDecls(AConsDecls node)`
`void`	`caseAConstInnerexpression(AConstInnerexpression node)`
`void`	`caseAConstInnerformula(AConstInnerformula node)`
`void`	`caseAConstInnerintexpression(AConstInnerintexpression node)`
`void`	`caseADefaultRange(ADefaultRange node)`
`void`	`caseADiffExprBinop(ADiffExprBinop node)`
`void`	`caseADivIntexprBinop(ADivIntexprBinop node)`
`void`	`caseAEmptyExprConst(AEmptyExprConst node)`
`void`	`caseAEqualsIntCompOp(AEqualsIntCompOp node)`
`void`	`caseAEqualsLogopRel(AEqualsLogopRel node)`
`void`	`caseAExactReltype(AExactReltype node)`
`void`	`caseAExistsQuantifier(AExistsQuantifier node)`
`void`	`caseAExpression(AExpression node)`
`void`	`caseAFalseLogConst(AFalseLogConst node)`
`void`	`caseAFormula(AFormula node)`
`void`	`caseAFuncInnerformula(AFuncInnerformula node)`
`void`	`caseAGreaterequalIntCompOp(AGreaterequalIntCompOp node)`
`void`	`caseAGreaterIntCompOp(AGreaterIntCompOp node)`
`void`	`caseAIdenExprConst(AIdenExprConst node)`
`void`	`caseAIffLogopBinary(AIffLogopBinary node)`
`void`	`caseAIfInnerexpression(AIfInnerexpression node)`
`void`	`caseAImpliesLogopBinary(AImpliesLogopBinary node)`
`void`	`caseAInLogopRel(AInLogopRel node)`
`void`	`caseAInterExprMultop(AInterExprMultop node)`
`void`	`caseAIntexpression(AIntexpression node)`
`void`	`caseAIntInnerformula(AIntInnerformula node)`
`void`	`caseAIntsetExprCast(AIntsetExprCast node)`
`void`	`caseAIntsType(AIntsType node)`
`void`	`caseAJoinExprBinop(AJoinExprBinop node)`
`void`	`caseALesserequalIntCompOp(ALesserequalIntCompOp node)`
`void`	`caseALesserIntCompOp(ALesserIntCompOp node)`
`void`	`caseAList(AList node)`
`void`	`caseAListAction(AListAction node)`
`void`	`caseALoneMultiplicity(ALoneMultiplicity node)`
`void`	`caseAModIntexprBinop(AModIntexprBinop node)`
`void`	`caseAMulIntexprBinop(AMulIntexprBinop node)`
`void`	`caseAMultiInnerexpression(AMultiInnerexpression node)`
`void`	`caseAMultInnerformula(AMultInnerformula node)`
`void`	`caseANegReqtype(ANegReqtype node)`
`void`	`caseANegZnumber(ANegZnumber node)`
`void`	`caseANilDecls(ANilDecls node)`
`void`	`caseANoMultiplicity(ANoMultiplicity node)`
`void`	`caseANoneAction(ANoneAction node)`
`void`	`caseANotInnerformula(ANotInnerformula node)`
`void`	`caseAOneMultiplicity(AOneMultiplicity node)`
`void`	`caseAOrLogopBinary(AOrLogopBinary node)`
`void`	`caseAOverwriteExprBinop(AOverwriteExprBinop node)`
`void`	`caseAPartialLogopFunction(APartialLogopFunction node)`
`void`	`caseAPosReqtype(APosReqtype node)`
`void`	`caseAPosZnumber(APosZnumber node)`
`void`	`caseAPow2ExprCast(APow2ExprCast node)`
`void`	`caseAPowpart(APowpart node)`
`void`	`caseAPrjInnerexpression(APrjInnerexpression node)`
`void`	`caseAProblem(AProblem node)`
`void`	`caseAProblemAction(AProblemAction node)`
`void`	`caseAProductExprMultop(AProductExprMultop node)`
`void`	`caseAQuantInnerformula(AQuantInnerformula node)`
`void`	`caseARelation(ARelation node)`
`void`	`caseARelInnerformula(ARelInnerformula node)`
`void`	`caseARelrefInnerexpression(ARelrefInnerexpression node)`
`void`	`caseARequest(ARequest node)`
`void`	`caseARequestAction(ARequestAction node)`
`void`	`caseAReset(AReset node)`
`void`	`caseAResetAction(AResetAction node)`
`void`	`caseASetMultiplicity(ASetMultiplicity node)`
`void`	`caseASomeMultiplicity(ASomeMultiplicity node)`
`void`	`caseAStandardType(AStandardType node)`
`void`	`caseAStop(AStop node)`
`void`	`caseAStopAction(AStopAction node)`
`void`	`caseASubIntexprBinop(ASubIntexprBinop node)`
`void`	`caseASubsetReltype(ASubsetReltype node)`
`void`	`caseATotalLogopFunction(ATotalLogopFunction node)`
`void`	`caseATransposeExprUnop(ATransposeExprUnop node)`
`void`	`caseATrueLogConst(ATrueLogConst node)`
`void`	`caseATuple(ATuple node)`
`void`	`caseATupleset(ATupleset node)`
`void`	`caseATyperefRange(ATyperefRange node)`
`void`	`caseAUnaryInnerexpression(AUnaryInnerexpression node)`
`void`	`caseAUnionExprMultop(AUnionExprMultop node)`
`void`	`caseAUnivExprConst(AUnivExprConst node)`
`void`	`caseAVarrefInnerexpression(AVarrefInnerexpression node)`
`void`	`caseEOF(EOF node)`
`void`	`caseStart(Start node)`
`void`	`caseTAnglel(TAnglel node)`
`void`	`caseTAngler(TAngler node)`
`void`	`caseTBlanks(TBlanks node)`
`void`	`caseTBracketl(TBracketl node)`
`void`	`caseTBracketr(TBracketr node)`
`void`	`caseTFullstop(TFullstop node)`
`void`	`caseTIdentifier(TIdentifier node)`
`void`	`caseTKeywordAddition(TKeywordAddition node)`
`void`	`caseTKeywordAll(TKeywordAll node)`
`void`	`caseTKeywordAnd(TKeywordAnd node)`
`void`	`caseTKeywordCardinality(TKeywordCardinality node)`
`void`	`caseTKeywordClosure(TKeywordClosure node)`
`void`	`caseTKeywordComprehension(TKeywordComprehension node)`
`void`	`caseTKeywordDiff(TKeywordDiff node)`
`void`	`caseTKeywordDivision(TKeywordDivision node)`
`void`	`caseTKeywordEmpty(TKeywordEmpty node)`
`void`	`caseTKeywordEquals(TKeywordEquals node)`
`void`	`caseTKeywordExact(TKeywordExact node)`
`void`	`caseTKeywordExists(TKeywordExists node)`
`void`	`caseTKeywordExpr2int(TKeywordExpr2int node)`
`void`	`caseTKeywordExt(TKeywordExt node)`
`void`	`caseTKeywordFalse(TKeywordFalse node)`
`void`	`caseTKeywordGreater(TKeywordGreater node)`
`void`	`caseTKeywordGreaterEqual(TKeywordGreaterEqual node)`
`void`	`caseTKeywordIden(TKeywordIden node)`
`void`	`caseTKeywordIf(TKeywordIf node)`
`void`	`caseTKeywordIff(TKeywordIff node)`
`void`	`caseTKeywordImplies(TKeywordImplies node)`
`void`	`caseTKeywordIn(TKeywordIn node)`
`void`	`caseTKeywordInt2intset(TKeywordInt2intset node)`
`void`	`caseTKeywordInt2pow2(TKeywordInt2pow2 node)`
`void`	`caseTKeywordIntersection(TKeywordIntersection node)`
`void`	`caseTKeywordInts(TKeywordInts node)`
`void`	`caseTKeywordJoin(TKeywordJoin node)`
`void`	`caseTKeywordLesser(TKeywordLesser node)`
`void`	`caseTKeywordLesserEqual(TKeywordLesserEqual node)`
`void`	`caseTKeywordList(TKeywordList node)`
`void`	`caseTKeywordLone(TKeywordLone node)`
`void`	`caseTKeywordModulo(TKeywordModulo node)`
`void`	`caseTKeywordMultiplication(TKeywordMultiplication node)`
`void`	`caseTKeywordNegative(TKeywordNegative node)`
`void`	`caseTKeywordNo(TKeywordNo node)`
`void`	`caseTKeywordNot(TKeywordNot node)`
`void`	`caseTKeywordOne(TKeywordOne node)`
`void`	`caseTKeywordOr(TKeywordOr node)`
`void`	`caseTKeywordOverwrite(TKeywordOverwrite node)`
`void`	`caseTKeywordPartialFunction(TKeywordPartialFunction node)`
`void`	`caseTKeywordPositive(TKeywordPositive node)`
`void`	`caseTKeywordProblem(TKeywordProblem node)`
`void`	`caseTKeywordProduct(TKeywordProduct node)`
`void`	`caseTKeywordProjection(TKeywordProjection node)`
`void`	`caseTKeywordRanges(TKeywordRanges node)`
`void`	`caseTKeywordRelref(TKeywordRelref node)`
`void`	`caseTKeywordRequest(TKeywordRequest node)`
`void`	`caseTKeywordReset(TKeywordReset node)`
`void`	`caseTKeywordSet(TKeywordSet node)`
`void`	`caseTKeywordSingleton(TKeywordSingleton node)`
`void`	`caseTKeywordSome(TKeywordSome node)`
`void`	`caseTKeywordStop(TKeywordStop node)`
`void`	`caseTKeywordSubset(TKeywordSubset node)`
`void`	`caseTKeywordSubtraction(TKeywordSubtraction node)`
`void`	`caseTKeywordTotalFunction(TKeywordTotalFunction node)`
`void`	`caseTKeywordTranspose(TKeywordTranspose node)`
`void`	`caseTKeywordTrue(TKeywordTrue node)`
`void`	`caseTKeywordUnion(TKeywordUnion node)`
`void`	`caseTKeywordUniv(TKeywordUniv node)`
`void`	`caseTKeywordVarref(TKeywordVarref node)`
`void`	`caseTMinus(TMinus node)`
`void`	`caseTNumber(TNumber node)`
`void`	`caseTParenl(TParenl node)`
`void`	`caseTParenr(TParenr node)`
`java.lang.Object`	`getIn(Node node)`
`java.lang.Object`	`getOut(Node node)`
`void`	`setIn(Node node, java.lang.Object o)`
`void`	`setOut(Node node, java.lang.Object o)`

Method Detail

getIn
```
java.lang.Object getIn(Node node)
```

setIn

void setIn(Node node,
         java.lang.Object o)

getOut
```
java.lang.Object getOut(Node node)
```

setOut

void setOut(Node node,
          java.lang.Object o)

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

caseAProblemAction

void caseAProblemAction(AProblemAction node)

caseARequestAction

void caseARequestAction(ARequestAction node)

caseAListAction

void caseAListAction(AListAction node)

caseAStopAction

void caseAStopAction(AStopAction node)

caseAResetAction

void caseAResetAction(AResetAction node)

caseANoneAction

void caseANoneAction(ANoneAction node)

caseAProblem
```
void caseAProblem(AProblem node)
```

caseAPosZnumber

void caseAPosZnumber(APosZnumber node)

caseANegZnumber

void caseANegZnumber(ANegZnumber node)

caseAStandardType

void caseAStandardType(AStandardType node)

caseAIntsType
```
void caseAIntsType(AIntsType node)
```

caseAPowpart
```
void caseAPowpart(APowpart node)
```

caseABitpart
```
void caseABitpart(ABitpart node)
```

caseARelation
```
void caseARelation(ARelation node)
```

caseAExactReltype

void caseAExactReltype(AExactReltype node)

caseASubsetReltype

void caseASubsetReltype(ASubsetReltype node)

caseATupleset
```
void caseATupleset(ATupleset node)
```

caseATuple
```
void caseATuple(ATuple node)
```

caseATyperefRange

void caseATyperefRange(ATyperefRange node)

caseADefaultRange

void caseADefaultRange(ADefaultRange node)

caseAFormula
```
void caseAFormula(AFormula node)
```

caseAConstInnerformula

void caseAConstInnerformula(AConstInnerformula node)

caseAMultInnerformula

void caseAMultInnerformula(AMultInnerformula node)

caseARelInnerformula

void caseARelInnerformula(ARelInnerformula node)

caseANotInnerformula

void caseANotInnerformula(ANotInnerformula node)

caseAAndInnerformula

void caseAAndInnerformula(AAndInnerformula node)

caseABinaryInnerformula

void caseABinaryInnerformula(ABinaryInnerformula node)

caseAQuantInnerformula

void caseAQuantInnerformula(AQuantInnerformula node)

caseAIntInnerformula

void caseAIntInnerformula(AIntInnerformula node)

caseAFuncInnerformula

void caseAFuncInnerformula(AFuncInnerformula node)

caseATrueLogConst

void caseATrueLogConst(ATrueLogConst node)

caseAFalseLogConst

void caseAFalseLogConst(AFalseLogConst node)

caseAInLogopRel

void caseAInLogopRel(AInLogopRel node)

caseAEqualsLogopRel

void caseAEqualsLogopRel(AEqualsLogopRel node)

caseATotalLogopFunction

void caseATotalLogopFunction(ATotalLogopFunction node)

caseAPartialLogopFunction

void caseAPartialLogopFunction(APartialLogopFunction node)

caseAOrLogopBinary

void caseAOrLogopBinary(AOrLogopBinary node)

caseAImpliesLogopBinary

void caseAImpliesLogopBinary(AImpliesLogopBinary node)

caseAIffLogopBinary

void caseAIffLogopBinary(AIffLogopBinary node)

caseAAllQuantifier

void caseAAllQuantifier(AAllQuantifier node)

caseAExistsQuantifier

void caseAExistsQuantifier(AExistsQuantifier node)

caseANilDecls
```
void caseANilDecls(ANilDecls node)
```

caseAConsDecls
```
void caseAConsDecls(AConsDecls node)
```

caseAOneMultiplicity

void caseAOneMultiplicity(AOneMultiplicity node)

caseASomeMultiplicity

void caseASomeMultiplicity(ASomeMultiplicity node)

caseANoMultiplicity

void caseANoMultiplicity(ANoMultiplicity node)

caseALoneMultiplicity

void caseALoneMultiplicity(ALoneMultiplicity node)

caseASetMultiplicity

void caseASetMultiplicity(ASetMultiplicity node)

caseAEqualsIntCompOp

void caseAEqualsIntCompOp(AEqualsIntCompOp node)

caseAGreaterIntCompOp

void caseAGreaterIntCompOp(AGreaterIntCompOp node)

caseAGreaterequalIntCompOp

void caseAGreaterequalIntCompOp(AGreaterequalIntCompOp node)

caseALesserIntCompOp

void caseALesserIntCompOp(ALesserIntCompOp node)

caseALesserequalIntCompOp

void caseALesserequalIntCompOp(ALesserequalIntCompOp node)

caseAExpression

void caseAExpression(AExpression node)

caseAConstInnerexpression

void caseAConstInnerexpression(AConstInnerexpression node)

caseAUnaryInnerexpression

void caseAUnaryInnerexpression(AUnaryInnerexpression node)

caseAMultiInnerexpression

void caseAMultiInnerexpression(AMultiInnerexpression node)

caseABinaryInnerexpression

void caseABinaryInnerexpression(ABinaryInnerexpression node)

caseARelrefInnerexpression

void caseARelrefInnerexpression(ARelrefInnerexpression node)

caseAVarrefInnerexpression

void caseAVarrefInnerexpression(AVarrefInnerexpression node)

caseACompInnerexpression

void caseACompInnerexpression(ACompInnerexpression node)

caseAPrjInnerexpression

void caseAPrjInnerexpression(APrjInnerexpression node)

caseACastInnerexpression

void caseACastInnerexpression(ACastInnerexpression node)

caseAIfInnerexpression

void caseAIfInnerexpression(AIfInnerexpression node)

caseAPow2ExprCast

void caseAPow2ExprCast(APow2ExprCast node)

caseAIntsetExprCast

void caseAIntsetExprCast(AIntsetExprCast node)

caseAEmptyExprConst

void caseAEmptyExprConst(AEmptyExprConst node)

caseAIdenExprConst

void caseAIdenExprConst(AIdenExprConst node)

caseAUnivExprConst

void caseAUnivExprConst(AUnivExprConst node)

caseAUnionExprMultop

void caseAUnionExprMultop(AUnionExprMultop node)

caseAInterExprMultop

void caseAInterExprMultop(AInterExprMultop node)

caseAProductExprMultop

void caseAProductExprMultop(AProductExprMultop node)

caseADiffExprBinop

void caseADiffExprBinop(ADiffExprBinop node)

caseAJoinExprBinop

void caseAJoinExprBinop(AJoinExprBinop node)

caseAOverwriteExprBinop

void caseAOverwriteExprBinop(AOverwriteExprBinop node)

caseATransposeExprUnop

void caseATransposeExprUnop(ATransposeExprUnop node)

caseAClosureExprUnop

void caseAClosureExprUnop(AClosureExprUnop node)

caseAIntexpression

void caseAIntexpression(AIntexpression node)

caseAConstInnerintexpression

void caseAConstInnerintexpression(AConstInnerintexpression node)

caseACardInnerintexpression

void caseACardInnerintexpression(ACardInnerintexpression node)

caseABinaryInnerintexpression

void caseABinaryInnerintexpression(ABinaryInnerintexpression node)

caseACastInnerintexpression

void caseACastInnerintexpression(ACastInnerintexpression node)

caseAAddIntexprBinop

void caseAAddIntexprBinop(AAddIntexprBinop node)

caseASubIntexprBinop

void caseASubIntexprBinop(ASubIntexprBinop node)

caseAMulIntexprBinop

void caseAMulIntexprBinop(AMulIntexprBinop node)

caseADivIntexprBinop

void caseADivIntexprBinop(ADivIntexprBinop node)

caseAModIntexprBinop

void caseAModIntexprBinop(AModIntexprBinop node)

caseARequest
```
void caseARequest(ARequest node)
```

caseAArgument
```
void caseAArgument(AArgument node)
```

caseAPosReqtype

void caseAPosReqtype(APosReqtype node)

caseANegReqtype

void caseANegReqtype(ANegReqtype node)

caseAList
```
void caseAList(AList node)
```

caseAStop
```
void caseAStop(AStop node)
```

caseAReset
```
void caseAReset(AReset node)
```

caseTBlanks
```
void caseTBlanks(TBlanks node)
```

caseTNumber
```
void caseTNumber(TNumber node)
```

caseTParenl
```
void caseTParenl(TParenl node)
```

caseTParenr
```
void caseTParenr(TParenr node)
```

caseTAnglel
```
void caseTAnglel(TAnglel node)
```

caseTAngler
```
void caseTAngler(TAngler node)
```

caseTBracketl
```
void caseTBracketl(TBracketl node)
```

caseTBracketr
```
void caseTBracketr(TBracketr node)
```

caseTKeywordProblem

void caseTKeywordProblem(TKeywordProblem node)

caseTKeywordExact

void caseTKeywordExact(TKeywordExact node)

caseTKeywordSubset

void caseTKeywordSubset(TKeywordSubset node)

caseTKeywordInts

void caseTKeywordInts(TKeywordInts node)

caseTKeywordSingleton

void caseTKeywordSingleton(TKeywordSingleton node)

caseTKeywordTrue

void caseTKeywordTrue(TKeywordTrue node)

caseTKeywordFalse

void caseTKeywordFalse(TKeywordFalse node)

caseTKeywordIn
```
void caseTKeywordIn(TKeywordIn node)
```

caseTKeywordEquals

void caseTKeywordEquals(TKeywordEquals node)

caseTKeywordSome

void caseTKeywordSome(TKeywordSome node)

caseTKeywordOne

void caseTKeywordOne(TKeywordOne node)

caseTKeywordNo
```
void caseTKeywordNo(TKeywordNo node)
```

caseTKeywordLone

void caseTKeywordLone(TKeywordLone node)

caseTKeywordSet

void caseTKeywordSet(TKeywordSet node)

caseTKeywordNot

void caseTKeywordNot(TKeywordNot node)

caseTKeywordAnd

void caseTKeywordAnd(TKeywordAnd node)

caseTKeywordOr
```
void caseTKeywordOr(TKeywordOr node)
```

caseTKeywordImplies

void caseTKeywordImplies(TKeywordImplies node)

caseTKeywordIff

void caseTKeywordIff(TKeywordIff node)

caseTKeywordIf
```
void caseTKeywordIf(TKeywordIf node)
```

caseTKeywordAll

void caseTKeywordAll(TKeywordAll node)

caseTKeywordExists

void caseTKeywordExists(TKeywordExists node)

caseTKeywordUnion

void caseTKeywordUnion(TKeywordUnion node)

caseTKeywordIntersection

void caseTKeywordIntersection(TKeywordIntersection node)

caseTKeywordDiff

void caseTKeywordDiff(TKeywordDiff node)

caseTKeywordJoin

void caseTKeywordJoin(TKeywordJoin node)

caseTKeywordProduct

void caseTKeywordProduct(TKeywordProduct node)

caseTKeywordOverwrite

void caseTKeywordOverwrite(TKeywordOverwrite node)

caseTKeywordTranspose

void caseTKeywordTranspose(TKeywordTranspose node)

caseTKeywordClosure

void caseTKeywordClosure(TKeywordClosure node)

caseTKeywordComprehension

void caseTKeywordComprehension(TKeywordComprehension node)

caseTKeywordEmpty

void caseTKeywordEmpty(TKeywordEmpty node)

caseTKeywordIden

void caseTKeywordIden(TKeywordIden node)

caseTKeywordUniv

void caseTKeywordUniv(TKeywordUniv node)

caseTKeywordRanges

void caseTKeywordRanges(TKeywordRanges node)

caseTKeywordExt

void caseTKeywordExt(TKeywordExt node)

caseTKeywordRelref

void caseTKeywordRelref(TKeywordRelref node)

caseTKeywordVarref

void caseTKeywordVarref(TKeywordVarref node)

caseTKeywordRequest

void caseTKeywordRequest(TKeywordRequest node)

caseTKeywordStop

void caseTKeywordStop(TKeywordStop node)

caseTKeywordReset

void caseTKeywordReset(TKeywordReset node)

caseTKeywordList

void caseTKeywordList(TKeywordList node)

caseTKeywordPositive

void caseTKeywordPositive(TKeywordPositive node)

caseTKeywordNegative

void caseTKeywordNegative(TKeywordNegative node)

caseTKeywordCardinality

void caseTKeywordCardinality(TKeywordCardinality node)

caseTKeywordAddition

void caseTKeywordAddition(TKeywordAddition node)

caseTKeywordSubtraction

void caseTKeywordSubtraction(TKeywordSubtraction node)

caseTKeywordMultiplication

void caseTKeywordMultiplication(TKeywordMultiplication node)

caseTKeywordDivision

void caseTKeywordDivision(TKeywordDivision node)

caseTKeywordModulo

void caseTKeywordModulo(TKeywordModulo node)

caseTKeywordGreater

void caseTKeywordGreater(TKeywordGreater node)

caseTKeywordGreaterEqual

void caseTKeywordGreaterEqual(TKeywordGreaterEqual node)

caseTKeywordLesser

void caseTKeywordLesser(TKeywordLesser node)

caseTKeywordLesserEqual

void caseTKeywordLesserEqual(TKeywordLesserEqual node)

caseTKeywordProjection

void caseTKeywordProjection(TKeywordProjection node)

caseTKeywordPartialFunction

void caseTKeywordPartialFunction(TKeywordPartialFunction node)

caseTKeywordTotalFunction

void caseTKeywordTotalFunction(TKeywordTotalFunction node)

caseTKeywordInt2pow2

void caseTKeywordInt2pow2(TKeywordInt2pow2 node)

caseTKeywordInt2intset

void caseTKeywordInt2intset(TKeywordInt2intset node)

caseTKeywordExpr2int

void caseTKeywordExpr2int(TKeywordExpr2int node)

caseTMinus
```
void caseTMinus(TMinus node)
```

caseTIdentifier

void caseTIdentifier(TIdentifier node)

caseTFullstop
```
void caseTFullstop(TFullstop node)
```

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

Interface Analysis

Method Summary

Method Detail

getIn

setIn

getOut

setOut

caseStart

caseAProblemAction

caseARequestAction

caseAListAction

caseAStopAction

caseAResetAction

caseANoneAction

caseAProblem

caseAPosZnumber

caseANegZnumber

caseAStandardType

caseAIntsType

caseAPowpart

caseABitpart

caseARelation

caseAExactReltype

caseASubsetReltype

caseATupleset

caseATuple

caseATyperefRange

caseADefaultRange

caseAFormula

caseAConstInnerformula

caseAMultInnerformula

caseARelInnerformula

caseANotInnerformula

caseAAndInnerformula

caseABinaryInnerformula

caseAQuantInnerformula

caseAIntInnerformula

caseAFuncInnerformula

caseATrueLogConst

caseAFalseLogConst

caseAInLogopRel

caseAEqualsLogopRel

caseATotalLogopFunction

caseAPartialLogopFunction

caseAOrLogopBinary

caseAImpliesLogopBinary

caseAIffLogopBinary

caseAAllQuantifier

caseAExistsQuantifier

caseANilDecls

caseAConsDecls

caseAOneMultiplicity

caseASomeMultiplicity

caseANoMultiplicity

caseALoneMultiplicity

caseASetMultiplicity

caseAEqualsIntCompOp

caseAGreaterIntCompOp

caseAGreaterequalIntCompOp

caseALesserIntCompOp

caseALesserequalIntCompOp

caseAExpression

caseAConstInnerexpression

caseAUnaryInnerexpression

caseAMultiInnerexpression

caseABinaryInnerexpression

caseARelrefInnerexpression

caseAVarrefInnerexpression

caseACompInnerexpression

caseAPrjInnerexpression

caseACastInnerexpression

caseAIfInnerexpression

caseAPow2ExprCast

caseAIntsetExprCast

caseAEmptyExprConst

caseAIdenExprConst

caseAUnivExprConst

caseAUnionExprMultop

caseAInterExprMultop

caseAProductExprMultop