|
Sugar version 1.13 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjp.ac.kobe_u.cs.sugar.converter.Predicate
public class Predicate
Predicate class.
Converter
Field Summary | |
---|---|
int |
arity
|
Expression |
body
|
String |
name
|
Atom[] |
params
|
Map<Atom,Integer> |
paramsMap
|
Constructor Summary | |
---|---|
Predicate(Sequence seq,
Expression body)
|
Method Summary | |
---|---|
Expression |
apply(Expression[] args)
|
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public String name
public int arity
public Atom[] params
public Map<Atom,Integer> paramsMap
public Expression body
Constructor Detail |
---|
public Predicate(Sequence seq, Expression body)
Method Detail |
---|
public Expression apply(Expression[] args)
public String toString()
toString
in class Object
|
Sugar version 1.13 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |