public class KodkodAnalysis extends DepthFirstAdapter
KodkodSession.| Constructor and Description |
|---|
KodkodAnalysis(KodkodSession session,
de.prob.prolog.output.IPrologTermOutput pto) |
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, outStartcaseEOF, 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, setOutpublic KodkodAnalysis(KodkodSession session, de.prob.prolog.output.IPrologTermOutput pto)
public void inStart(Start node)
inStart in class DepthFirstAdapterpublic void caseAProblem(AProblem node)
KodkodSessioncaseAProblem in interface AnalysiscaseAProblem in class DepthFirstAdapterpublic void caseARequest(ARequest node)
KodkodSession
and the first solutions will be send directly.caseARequest in interface AnalysiscaseARequest in class DepthFirstAdapterpublic void outAList(AList node)
outAList in class DepthFirstAdapterpublic void outAStop(AStop node)
outAStop in class DepthFirstAdapterpublic void outAReset(AReset node)
outAReset in class DepthFirstAdapterpublic void outAConstInnerformula(AConstInnerformula node)
outAConstInnerformula in class DepthFirstAdapterpublic void outAMultInnerformula(AMultInnerformula node)
outAMultInnerformula in class DepthFirstAdapterpublic void outARelInnerformula(ARelInnerformula node)
outARelInnerformula in class DepthFirstAdapterpublic void outANotInnerformula(ANotInnerformula node)
outANotInnerformula in class DepthFirstAdapterpublic void caseAAndInnerformula(AAndInnerformula node)
caseAAndInnerformula in interface AnalysiscaseAAndInnerformula in class DepthFirstAdapterpublic void outABinaryInnerformula(ABinaryInnerformula node)
outABinaryInnerformula in class DepthFirstAdapterpublic void caseAQuantInnerformula(AQuantInnerformula node)
caseAQuantInnerformula in interface AnalysiscaseAQuantInnerformula in class DepthFirstAdapterpublic void outAIntInnerformula(AIntInnerformula node)
outAIntInnerformula in class DepthFirstAdapterpublic void outAFuncInnerformula(AFuncInnerformula node)
outAFuncInnerformula in class DepthFirstAdapterpublic void caseAMultiInnerexpression(AMultiInnerexpression node)
caseAMultiInnerexpression in interface AnalysiscaseAMultiInnerexpression in class DepthFirstAdapterpublic void outABinaryInnerexpression(ABinaryInnerexpression node)
outABinaryInnerexpression in class DepthFirstAdapterpublic void outAUnaryInnerexpression(AUnaryInnerexpression node)
outAUnaryInnerexpression in class DepthFirstAdapterpublic void outARelrefInnerexpression(ARelrefInnerexpression node)
outARelrefInnerexpression in class DepthFirstAdapterpublic void outAVarrefInnerexpression(AVarrefInnerexpression node)
outAVarrefInnerexpression in class DepthFirstAdapterpublic void outAConstInnerexpression(AConstInnerexpression node)
outAConstInnerexpression in class DepthFirstAdapterpublic void outAConstInnerintexpression(AConstInnerintexpression node)
outAConstInnerintexpression in class DepthFirstAdapterpublic void outAPrjInnerexpression(APrjInnerexpression node)
outAPrjInnerexpression in class DepthFirstAdapterpublic void outACastInnerexpression(ACastInnerexpression node)
outACastInnerexpression in class DepthFirstAdapterpublic void outAIfInnerexpression(AIfInnerexpression node)
outAIfInnerexpression in class DepthFirstAdapterpublic void outACastInnerintexpression(ACastInnerintexpression node)
outACastInnerintexpression in class DepthFirstAdapterpublic void outABinaryInnerintexpression(ABinaryInnerintexpression node)
outABinaryInnerintexpression in class DepthFirstAdapterpublic void outACardInnerintexpression(ACardInnerintexpression node)
outACardInnerintexpression in class DepthFirstAdapterpublic void caseACompInnerexpression(ACompInnerexpression node)
caseACompInnerexpression in interface AnalysiscaseACompInnerexpression in class DepthFirstAdapter