|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Expr
Field Summary | |
---|---|
static Expr[] |
EMPTY_EXPR_ARRAY
|
Method Summary | |
---|---|
Expr |
arg(int i)
returns i'th argument constraint: 0 <= i < arity () |
java.util.List |
args()
The list of arguments |
int |
arity()
True arity of this expression, i.e. |
Expr |
binApply(Expr expr1,
Expr expr2)
Binary application |
boolean |
contains(Expr e)
Returns true if this contains e, false otherwise. |
ExprFactory |
getFactory()
Returns a factory for this expression |
boolean |
isWellFormed()
Checks if this expression is well formed |
Expr |
naryApply(Expr[] expr)
n-ary application |
Expr |
naryApply(java.util.List expr)
|
Operator |
op()
Operator of this expression |
Expr |
subst(java.util.Map subMap)
Substitution of expressions by expressions |
Expr |
substOp(java.util.Map subMap)
Substitutes operators in the expression |
Expr |
unaryApply(Expr expr)
Unary application |
Field Detail |
---|
static final Expr[] EMPTY_EXPR_ARRAY
Method Detail |
---|
Operator op()
Operator
valueExpr unaryApply(Expr expr)
expr
- an Expr
value
Expr
valueExpr binApply(Expr expr1, Expr expr2)
expr
- an Expr
valueexpr
- an Expr
value
Expr
valueExpr naryApply(Expr[] expr)
expr
- an Expr[]
value
Expr
valueExpr naryApply(java.util.List expr)
int arity()
int
valueExpr arg(int i)
i
- an int
value
Expr
valuejava.util.List args()
Collection
valueboolean isWellFormed()
boolean
valueExpr subst(java.util.Map subMap)
subMap
- a Map
of type Expr -> Expr
Expr
valueExpr substOp(java.util.Map subMap)
subMap
- a map of type Operator -> Expr
mapping operators to be replaced by an expression
Expr
valueExprFactory getFactory()
ExprFactory
valueboolean contains(Expr e)
e
-
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |