KodkodAnalysis (probkodkod 1.0.4 API)

java.lang.Object
- de.stups.probkodkod.parser.analysis.AnalysisAdapter
- - de.stups.probkodkod.parser.analysis.DepthFirstAdapter
  - - de.stups.probkodkod.KodkodAnalysis

All Implemented Interfaces:

Analysis, Switch
```
public class KodkodAnalysis
extends DepthFirstAdapter
```
This is a visitor for the syntax tree of an input to the program. The translated command is sent to the given KodkodSession.

Constructor Summary

Constructors
Constructor and Description

KodkodAnalysis(KodkodSession session, de.prob.prolog.output.IPrologTermOutput pto)

Constructors
Constructor and Description
`KodkodAnalysis(KodkodSession session, de.prob.prolog.output.IPrologTermOutput pto)`

Method Summary

Methods
Modifier and Type	Method and Description
`void`	`caseAAndInnerformula(AAndInnerformula node)`
`void`	`caseACompInnerexpression(ACompInnerexpression node)`
`void`	`caseAMultiInnerexpression(AMultiInnerexpression node)`
`void`	`caseAProblem(AProblem node)` A problem description was entered.
`void`	`caseAQuantInnerformula(AQuantInnerformula node)`
`void`	`caseARequest(ARequest node)` A request has been entered.
`void`	`inStart(Start node)`
`void`	`outABinaryInnerexpression(ABinaryInnerexpression node)`
`void`	`outABinaryInnerformula(ABinaryInnerformula node)`
`void`	`outABinaryInnerintexpression(ABinaryInnerintexpression node)`
`void`	`outACardInnerintexpression(ACardInnerintexpression node)`
`void`	`outACastInnerexpression(ACastInnerexpression node)`
`void`	`outACastInnerintexpression(ACastInnerintexpression node)`
`void`	`outAConstInnerexpression(AConstInnerexpression node)`
`void`	`outAConstInnerformula(AConstInnerformula node)`
`void`	`outAConstInnerintexpression(AConstInnerintexpression node)`
`void`	`outAFuncInnerformula(AFuncInnerformula node)`
`void`	`outAIfInnerexpression(AIfInnerexpression node)`
`void`	`outAIntInnerformula(AIntInnerformula node)`
`void`	`outAList(AList node)` A command to send the next solutions of a request has been entered.
`void`	`outAMultInnerformula(AMultInnerformula node)`
`void`	`outANotInnerformula(ANotInnerformula node)`
`void`	`outAPrjInnerexpression(APrjInnerexpression node)`
`void`	`outARelInnerformula(ARelInnerformula node)`
`void`	`outARelrefInnerexpression(ARelrefInnerexpression node)`
`void`	`outAReset(AReset node)`
`void`	`outAStop(AStop node)` The stop command has been entered.
`void`	`outAUnaryInnerexpression(AUnaryInnerexpression node)`
`void`	`outAVarrefInnerexpression(AVarrefInnerexpression node)`

Methods inherited from class de.stups.probkodkod.parser.analysis.DepthFirstAdapter
caseAAddIntexprBinop, caseAAllQuantifier, caseAArgument, caseABinaryInnerexpression, caseABinaryInnerformula, caseABinaryInnerintexpression, caseABitpart, caseACardInnerintexpression, caseACastInnerexpression, caseACastInnerintexpression, caseAClosureExprUnop, caseAConsDecls, caseAConstInnerexpression, caseAConstInnerformula, caseAConstInnerintexpression, caseADefaultRange, caseADiffExprBinop, caseADivIntexprBinop, caseAEmptyExprConst, caseAEqualsIntCompOp, caseAEqualsLogopRel, caseAExactReltype, caseAExistsQuantifier, caseAExpression, caseAFalseLogConst, caseAFormula, caseAFuncInnerformula, caseAGreaterequalIntCompOp, caseAGreaterIntCompOp, caseAIdenExprConst, caseAIffLogopBinary, caseAIfInnerexpression, caseAImpliesLogopBinary, caseAInLogopRel, caseAInterExprMultop, caseAIntexpression, caseAIntInnerformula, caseAIntsetExprCast, caseAIntsType, caseAJoinExprBinop, caseALesserequalIntCompOp, caseALesserIntCompOp, caseAList, caseAListAction, caseALoneMultiplicity, caseAModIntexprBinop, caseAMulIntexprBinop, caseAMultInnerformula, caseANegReqtype, caseANegZnumber, caseANilDecls, caseANoMultiplicity, caseANoneAction, caseANotInnerformula, caseAOneMultiplicity, caseAOrLogopBinary, caseAOverwriteExprBinop, caseAPartialLogopFunction, caseAPosReqtype, caseAPosZnumber, caseAPow2ExprCast, caseAPowpart, caseAPrjInnerexpression, caseAProblemAction, caseAProductExprMultop, caseARelation, caseARelInnerformula, caseARelrefInnerexpression, caseARequestAction, caseAReset, caseAResetAction, caseASetMultiplicity, caseASomeMultiplicity, caseAStandardType, caseAStop, caseAStopAction, caseASubIntexprBinop, caseASubsetReltype, caseATotalLogopFunction, caseATransposeExprUnop, caseATrueLogConst, caseATuple, caseATupleset, caseATyperefRange, caseAUnaryInnerexpression, caseAUnionExprMultop, caseAUnivExprConst, caseAVarrefInnerexpression, caseStart, defaultIn, defaultOut, inAAddIntexprBinop, inAAllQuantifier, inAAndInnerformula, inAArgument, inABinaryInnerexpression, inABinaryInnerformula, inABinaryInnerintexpression, inABitpart, inACardInnerintexpression, inACastInnerexpression, inACastInnerintexpression, inAClosureExprUnop, inACompInnerexpression, inAConsDecls, inAConstInnerexpression, inAConstInnerformula, inAConstInnerintexpression, inADefaultRange, inADiffExprBinop, inADivIntexprBinop, inAEmptyExprConst, inAEqualsIntCompOp, inAEqualsLogopRel, inAExactReltype, inAExistsQuantifier, inAExpression, inAFalseLogConst, inAFormula, inAFuncInnerformula, inAGreaterequalIntCompOp, inAGreaterIntCompOp, inAIdenExprConst, inAIffLogopBinary, inAIfInnerexpression, inAImpliesLogopBinary, inAInLogopRel, inAInterExprMultop, inAIntexpression, inAIntInnerformula, inAIntsetExprCast, inAIntsType, inAJoinExprBinop, inALesserequalIntCompOp, inALesserIntCompOp, inAList, inAListAction, inALoneMultiplicity, inAModIntexprBinop, inAMulIntexprBinop, inAMultiInnerexpression, inAMultInnerformula, inANegReqtype, inANegZnumber, inANilDecls, inANoMultiplicity, inANoneAction, inANotInnerformula, inAOneMultiplicity, inAOrLogopBinary, inAOverwriteExprBinop, inAPartialLogopFunction, inAPosReqtype, inAPosZnumber, inAPow2ExprCast, inAPowpart, inAPrjInnerexpression, inAProblem, inAProblemAction, inAProductExprMultop, inAQuantInnerformula, inARelation, inARelInnerformula, inARelrefInnerexpression, inARequest, inARequestAction, inAReset, inAResetAction, inASetMultiplicity, inASomeMultiplicity, inAStandardType, inAStop, inAStopAction, inASubIntexprBinop, inASubsetReltype, inATotalLogopFunction, inATransposeExprUnop, inATrueLogConst, inATuple, inATupleset, inATyperefRange, inAUnaryInnerexpression, inAUnionExprMultop, inAUnivExprConst, inAVarrefInnerexpression, outAAddIntexprBinop, outAAllQuantifier, outAAndInnerformula, outAArgument, outABitpart, outAClosureExprUnop, outACompInnerexpression, outAConsDecls, outADefaultRange, outADiffExprBinop, outADivIntexprBinop, outAEmptyExprConst, outAEqualsIntCompOp, outAEqualsLogopRel, outAExactReltype, outAExistsQuantifier, outAExpression, outAFalseLogConst, outAFormula, outAGreaterequalIntCompOp, outAGreaterIntCompOp, outAIdenExprConst, outAIffLogopBinary, outAImpliesLogopBinary, outAInLogopRel, outAInterExprMultop, outAIntexpression, outAIntsetExprCast, outAIntsType, outAJoinExprBinop, outALesserequalIntCompOp, outALesserIntCompOp, outAListAction, outALoneMultiplicity, outAModIntexprBinop, outAMulIntexprBinop, outAMultiInnerexpression, outANegReqtype, outANegZnumber, outANilDecls, outANoMultiplicity, outANoneAction, outAOneMultiplicity, outAOrLogopBinary, outAOverwriteExprBinop, outAPartialLogopFunction, outAPosReqtype, outAPosZnumber, outAPow2ExprCast, outAPowpart, outAProblem, outAProblemAction, outAProductExprMultop, outAQuantInnerformula, outARelation, outARequest, outARequestAction, outAResetAction, outASetMultiplicity, outASomeMultiplicity, outAStandardType, outAStopAction, outASubIntexprBinop, outASubsetReltype, outATotalLogopFunction, outATransposeExprUnop, outATrueLogConst, outATuple, outATupleset, outATyperefRange, outAUnionExprMultop, outAUnivExprConst, outStart

Methods inherited from class de.stups.probkodkod.parser.analysis.AnalysisAdapter
caseEOF, caseTAnglel, caseTAngler, caseTBlanks, caseTBracketl, caseTBracketr, caseTFullstop, caseTIdentifier, caseTKeywordAddition, caseTKeywordAll, caseTKeywordAnd, caseTKeywordCardinality, caseTKeywordClosure, caseTKeywordComprehension, caseTKeywordDiff, caseTKeywordDivision, caseTKeywordEmpty, caseTKeywordEquals, caseTKeywordExact, caseTKeywordExists, caseTKeywordExpr2int, caseTKeywordExt, caseTKeywordFalse, caseTKeywordGreater, caseTKeywordGreaterEqual, caseTKeywordIden, caseTKeywordIf, caseTKeywordIff, caseTKeywordImplies, caseTKeywordIn, caseTKeywordInt2intset, caseTKeywordInt2pow2, caseTKeywordIntersection, caseTKeywordInts, caseTKeywordJoin, caseTKeywordLesser, caseTKeywordLesserEqual, caseTKeywordList, caseTKeywordLone, caseTKeywordModulo, caseTKeywordMultiplication, caseTKeywordNegative, caseTKeywordNo, caseTKeywordNot, caseTKeywordOne, caseTKeywordOr, caseTKeywordOverwrite, caseTKeywordPartialFunction, caseTKeywordPositive, caseTKeywordProblem, caseTKeywordProduct, caseTKeywordProjection, caseTKeywordRanges, caseTKeywordRelref, caseTKeywordRequest, caseTKeywordReset, caseTKeywordSet, caseTKeywordSingleton, caseTKeywordSome, caseTKeywordStop, caseTKeywordSubset, caseTKeywordSubtraction, caseTKeywordTotalFunction, caseTKeywordTranspose, caseTKeywordTrue, caseTKeywordUnion, caseTKeywordUniv, caseTKeywordVarref, caseTMinus, caseTNumber, caseTParenl, caseTParenr, defaultCase, getIn, getOut, setIn, setOut

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - KodkodAnalysis
```
public KodkodAnalysis(KodkodSession session,
              de.prob.prolog.output.IPrologTermOutput pto)
```
- Method Detail
  - inStart
```
public void inStart(Start node)
```
    Overrides:
    
    inStart in class DepthFirstAdapter
  - caseAProblem
```
public void caseAProblem(AProblem node)
```
    A problem description was entered. It will be added to the KodkodSession
    
    Specified by:
    
    caseAProblem in interface Analysis
    
    Overrides:
    
    caseAProblem in class DepthFirstAdapter
  - caseARequest
```
public void caseARequest(ARequest node)
```
    A request has been entered. It will be added to the KodkodSession and the first solutions will be send directly.
    
    Specified by:
    
    caseARequest in interface Analysis
    
    Overrides:
    
    caseARequest in class DepthFirstAdapter
  - outAList
```
public void outAList(AList node)
```
    A command to send the next solutions of a request has been entered.
    
    Overrides:
    
    outAList in class DepthFirstAdapter
  - outAStop
```
public void outAStop(AStop node)
```
    The stop command has been entered.
    
    Overrides:
    
    outAStop in class DepthFirstAdapter
  - outAReset
```
public void outAReset(AReset node)
```
    Overrides:
    
    outAReset in class DepthFirstAdapter
  - outAConstInnerformula
```
public void outAConstInnerformula(AConstInnerformula node)
```
    Overrides:
    
    outAConstInnerformula in class DepthFirstAdapter
  - outAMultInnerformula
```
public void outAMultInnerformula(AMultInnerformula node)
```
    Overrides:
    
    outAMultInnerformula in class DepthFirstAdapter
  - outARelInnerformula
```
public void outARelInnerformula(ARelInnerformula node)
```
    Overrides:
    
    outARelInnerformula in class DepthFirstAdapter
  - outANotInnerformula
```
public void outANotInnerformula(ANotInnerformula node)
```
    Overrides:
    
    outANotInnerformula in class DepthFirstAdapter
  - caseAAndInnerformula
```
public void caseAAndInnerformula(AAndInnerformula node)
```
    Specified by:
    
    caseAAndInnerformula in interface Analysis
    
    Overrides:
    
    caseAAndInnerformula in class DepthFirstAdapter
  - outABinaryInnerformula
```
public void outABinaryInnerformula(ABinaryInnerformula node)
```
    Overrides:
    
    outABinaryInnerformula in class DepthFirstAdapter
  - caseAQuantInnerformula
```
public void caseAQuantInnerformula(AQuantInnerformula node)
```
    Specified by:
    
    caseAQuantInnerformula in interface Analysis
    
    Overrides:
    
    caseAQuantInnerformula in class DepthFirstAdapter
  - outAIntInnerformula
```
public void outAIntInnerformula(AIntInnerformula node)
```
    Overrides:
    
    outAIntInnerformula in class DepthFirstAdapter
  - outAFuncInnerformula
```
public void outAFuncInnerformula(AFuncInnerformula node)
```
    Overrides:
    
    outAFuncInnerformula in class DepthFirstAdapter
  - caseAMultiInnerexpression
```
public void caseAMultiInnerexpression(AMultiInnerexpression node)
```
    Specified by:
    
    caseAMultiInnerexpression in interface Analysis
    
    Overrides:
    
    caseAMultiInnerexpression in class DepthFirstAdapter
  - outABinaryInnerexpression
```
public void outABinaryInnerexpression(ABinaryInnerexpression node)
```
    Overrides:
    
    outABinaryInnerexpression in class DepthFirstAdapter
  - outAUnaryInnerexpression
```
public void outAUnaryInnerexpression(AUnaryInnerexpression node)
```
    Overrides:
    
    outAUnaryInnerexpression in class DepthFirstAdapter
  - outARelrefInnerexpression
```
public void outARelrefInnerexpression(ARelrefInnerexpression node)
```
    Overrides:
    
    outARelrefInnerexpression in class DepthFirstAdapter
  - outAVarrefInnerexpression
```
public void outAVarrefInnerexpression(AVarrefInnerexpression node)
```
    Overrides:
    
    outAVarrefInnerexpression in class DepthFirstAdapter
  - outAConstInnerexpression
```
public void outAConstInnerexpression(AConstInnerexpression node)
```
    Overrides:
    
    outAConstInnerexpression in class DepthFirstAdapter
  - outAConstInnerintexpression
```
public void outAConstInnerintexpression(AConstInnerintexpression node)
```
    Overrides:
    
    outAConstInnerintexpression in class DepthFirstAdapter
  - outAPrjInnerexpression
```
public void outAPrjInnerexpression(APrjInnerexpression node)
```
    Overrides:
    
    outAPrjInnerexpression in class DepthFirstAdapter
  - outACastInnerexpression
```
public void outACastInnerexpression(ACastInnerexpression node)
```
    Overrides:
    
    outACastInnerexpression in class DepthFirstAdapter
  - outAIfInnerexpression
```
public void outAIfInnerexpression(AIfInnerexpression node)
```
    Overrides:
    
    outAIfInnerexpression in class DepthFirstAdapter
  - outACastInnerintexpression
```
public void outACastInnerintexpression(ACastInnerintexpression node)
```
    Overrides:
    
    outACastInnerintexpression in class DepthFirstAdapter
  - outABinaryInnerintexpression
```
public void outABinaryInnerintexpression(ABinaryInnerintexpression node)
```
    Overrides:
    
    outABinaryInnerintexpression in class DepthFirstAdapter
  - outACardInnerintexpression
```
public void outACardInnerintexpression(ACardInnerintexpression node)
```
    Overrides:
    
    outACardInnerintexpression in class DepthFirstAdapter
  - caseACompInnerexpression
```
public void caseACompInnerexpression(ACompInnerexpression node)
```
    Specified by:
    
    caseACompInnerexpression in interface Analysis
    
    Overrides:
    
    caseACompInnerexpression in class DepthFirstAdapter

Class KodkodAnalysis

Constructor Summary

Method Summary

Methods inherited from class de.stups.probkodkod.parser.analysis.DepthFirstAdapter

Methods inherited from class de.stups.probkodkod.parser.analysis.AnalysisAdapter

Methods inherited from class java.lang.Object

Constructor Detail

KodkodAnalysis

Method Detail

inStart

caseAProblem

caseARequest

outAList

outAStop

outAReset

outAConstInnerformula

outAMultInnerformula

outARelInnerformula

outANotInnerformula

caseAAndInnerformula

outABinaryInnerformula

caseAQuantInnerformula

outAIntInnerformula

outAFuncInnerformula

caseAMultiInnerexpression

outABinaryInnerexpression

outAUnaryInnerexpression

outARelrefInnerexpression

outAVarrefInnerexpression

outAConstInnerexpression

outAConstInnerintexpression

outAPrjInnerexpression

outACastInnerexpression

outAIfInnerexpression

outACastInnerintexpression

outABinaryInnerintexpression

outACardInnerintexpression

caseACompInnerexpression