ACastInnerintexpression (probkodkod 1.0.4 API)

public final class ACastInnerintexpression
extends PInnerintexpression

Constructors
Constructor and Description
`ACastInnerintexpression()`
`ACastInnerintexpression(TKeywordExpr2int _keywordExpr2int_, PExpression _expression_)`

Methods
Modifier and Type	Method and Description
`void`	`apply(Switch sw)`
`java.lang.Object`	`clone()`
`PExpression`	`getExpression()`
`TKeywordExpr2int`	`getKeywordExpr2int()`
`void`	`setExpression(PExpression node)`
`void`	`setKeywordExpr2int(TKeywordExpr2int node)`
`java.lang.String`	`toString()`

Methods inherited from class de.stups.probkodkod.parser.node.Node
cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class de.hhu.stups.sablecc.patch.PositionedNode
getEndPos, getStartPos, setEndPos, setStartPos

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

public ACastInnerintexpression(TKeywordExpr2int _keywordExpr2int_,
                       PExpression _expression_)

public TKeywordExpr2int getKeywordExpr2int()

public void setKeywordExpr2int(TKeywordExpr2int node)

public void setExpression(PExpression node)

Class ACastInnerintexpression