de.stups.probkodkod.parser.node

Interface Switchable

All Known Implementing Classes:

AAddIntexprBinop, AAllQuantifier, AAndInnerformula, AArgument, ABinaryInnerexpression, ABinaryInnerformula, ABinaryInnerintexpression, ABitpart, ACardInnerintexpression, ACastInnerexpression, ACastInnerintexpression, AClosureExprUnop, ACompInnerexpression, AConsDecls, AConstInnerexpression, AConstInnerformula, AConstInnerintexpression, ADefaultRange, ADiffExprBinop, ADivIntexprBinop, AEmptyExprConst, AEqualsIntCompOp, AEqualsLogopRel, AExactReltype, AExistsQuantifier, AExpression, AFalseLogConst, AFormula, AFuncInnerformula, AGreaterequalIntCompOp, AGreaterIntCompOp, AIdenExprConst, AIffLogopBinary, AIfInnerexpression, AImpliesLogopBinary, AInLogopRel, AInterExprMultop, AIntexpression, AIntInnerformula, AIntsetExprCast, AIntsType, AJoinExprBinop, ALesserequalIntCompOp, ALesserIntCompOp, AList, AListAction, ALoneMultiplicity, AModIntexprBinop, AMulIntexprBinop, AMultiInnerexpression, AMultInnerformula, ANegReqtype, ANegZnumber, ANilDecls, ANoMultiplicity, ANoneAction, ANotInnerformula, AOneMultiplicity, AOrLogopBinary, AOverwriteExprBinop, APartialLogopFunction, APosReqtype, APosZnumber, APow2ExprCast, APowpart, APrjInnerexpression, AProblem, AProblemAction, AProductExprMultop, AQuantInnerformula, ARelation, ARelInnerformula, ARelrefInnerexpression, ARequest, ARequestAction, AReset, AResetAction, ASetMultiplicity, ASomeMultiplicity, AStandardType, AStop, AStopAction, ASubIntexprBinop, ASubsetReltype, ATotalLogopFunction, ATransposeExprUnop, ATrueLogConst, ATuple, ATupleset, ATyperefRange, AUnaryInnerexpression, AUnionExprMultop, AUnivExprConst, AVarrefInnerexpression, EOF, Node, PAction, PArgument, PBitpart, PDecls, PExprBinop, PExprCast, PExprConst, PExpression, PExprMultop, PExprUnop, PFormula, PInnerexpression, PInnerformula, PInnerintexpression, PIntCompOp, PIntexprBinop, PIntexpression, PList, PLogConst, PLogopBinary, PLogopFunction, PLogopRel, PMultiplicity, PPowpart, PProblem, PQuantifier, PRange, PRelation, PReltype, PReqtype, PRequest, PReset, PStop, PTuple, PTupleset, PType, PZnumber, Start, TAnglel, TAngler, TBlanks, TBracketl, TBracketr, TFullstop, TIdentifier, TKeywordAddition, TKeywordAll, TKeywordAnd, TKeywordCardinality, TKeywordClosure, TKeywordComprehension, TKeywordDiff, TKeywordDivision, TKeywordEmpty, TKeywordEquals, TKeywordExact, TKeywordExists, TKeywordExpr2int, TKeywordExt, TKeywordFalse, TKeywordGreater, TKeywordGreaterEqual, TKeywordIden, TKeywordIf, TKeywordIff, TKeywordImplies, TKeywordIn, TKeywordInt2intset, TKeywordInt2pow2, TKeywordIntersection, TKeywordInts, TKeywordJoin, TKeywordLesser, TKeywordLesserEqual, TKeywordList, TKeywordLone, TKeywordModulo, TKeywordMultiplication, TKeywordNegative, TKeywordNo, TKeywordNot, TKeywordOne, TKeywordOr, TKeywordOverwrite, TKeywordPartialFunction, TKeywordPositive, TKeywordProblem, TKeywordProduct, TKeywordProjection, TKeywordRanges, TKeywordRelref, TKeywordRequest, TKeywordReset, TKeywordSet, TKeywordSingleton, TKeywordSome, TKeywordStop, TKeywordSubset, TKeywordSubtraction, TKeywordTotalFunction, TKeywordTranspose, TKeywordTrue, TKeywordUnion, TKeywordUniv, TKeywordVarref, TMinus, TNumber, Token, TParenl, TParenr

public interface Switchable

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Switch sw)

Method Detail

apply

void apply(Switch sw)