|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Operator
Method Summary | |
---|---|
int |
arity()
Arrity of this operator |
boolean |
isWellFormed(Expr[] args)
true if this operator is well-formed with this arguments provided that the arguments are well formed themselves |
java.lang.String |
name()
Name of this operator |
Method Detail |
---|
int arity()
int
valueboolean isWellFormed(Expr[] args)
args
- an Expr[]
value
boolean
valuejava.lang.String name()
String
value
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |