public class Predicate extends Object
Converter
int
arity
Expression
body
String
name
Atom[]
params
Map<Atom,Integer>
paramsMap
Predicate(Sequence seq, Expression body)
apply(Expression[] args)
toString()
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
public String name
public int arity
public Atom[] params
public Map<Atom,Integer> paramsMap
public Expression body
public Predicate(Sequence seq, Expression body)
public Expression apply(Expression[] args)
public String toString()
toString
Object
Sugar: A SAT-based Constraint Solver