|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.expr.AbstractExpr
public abstract class AbstractExpr
Field Summary |
---|
Fields inherited from interface edu.toronto.cs.expr.Expr |
---|
EMPTY_EXPR_ARRAY |
Constructor Summary | |
---|---|
AbstractExpr()
|
Method Summary | |
---|---|
Expr |
binApply(Expr expr1,
Expr expr2)
Binary application |
boolean |
contains(Expr e)
Returns true if this contains e, false otherwise. |
Expr |
naryApply(java.util.List expr)
|
Expr |
unaryApply(Expr expr)
Unary application |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface edu.toronto.cs.expr.Expr |
---|
arg, args, arity, getFactory, isWellFormed, naryApply, op, subst, substOp |
Constructor Detail |
---|
public AbstractExpr()
Method Detail |
---|
public Expr unaryApply(Expr expr)
Expr
unaryApply
in interface Expr
expr
- an Expr
value
Expr
valuepublic Expr binApply(Expr expr1, Expr expr2)
Expr
binApply
in interface Expr
Expr
valuepublic Expr naryApply(java.util.List expr)
naryApply
in interface Expr
public boolean contains(Expr e)
Expr
contains
in interface Expr
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |