JavaScript is disabled on your browser.
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
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)
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method