|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface Predicate
Represents a predicate in the program.
| Method Summary | |
|---|---|
java.lang.Object |
accept(KAON2Visitor visitor)
Accepts a visitor for this object. |
int |
getArity()
Returns the arity of the predicate. |
void |
toString(java.lang.StringBuffer buffer,
Namespaces namespaces)
Writes this entity to the supplied string buffer. |
| Method Detail |
|---|
int getArity()
void toString(java.lang.StringBuffer buffer,
Namespaces namespaces)
buffer - the buffernamespaces - the namespaces objectjava.lang.Object accept(KAON2Visitor visitor)
visitor - the visitor for this object
null)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||