Sugar version 1.13 Core API Specification

jp.ac.kobe_u.cs.sugar.converter
Class Predicate

java.lang.Object
  extended by jp.ac.kobe_u.cs.sugar.converter.Predicate

public class Predicate
extends Object

Predicate class.

See Also:
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

name

public String name

arity

public int arity

params

public Atom[] params

paramsMap

public Map<Atom,Integer> paramsMap

body

public Expression body
Constructor Detail

Predicate

public Predicate(Sequence seq,
                 Expression body)
Method Detail

apply

public Expression apply(Expression[] args)

toString

public String toString()
Overrides:
toString in class Object

Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver