org.sat4j.csp
Class Predicate

java.lang.Object
  extended by org.sat4j.csp.Predicate
All Implemented Interfaces:
Clausifiable

public class Predicate
extends Object
implements Clausifiable

A predicate is a formula given in intension.

Author:
daniel

Constructor Summary
Predicate()
           
 
Method Summary
 void addVariable(String name)
           
 void setExpression(String expr)
           
 void toClause(ISolver solver, IVec<Var> vscope, IVec<Evaluable> vars)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Predicate

public Predicate()
Method Detail

setExpression

public void setExpression(String expr)

addVariable

public void addVariable(String name)

toClause

public void toClause(ISolver solver,
                     IVec<Var> vscope,
                     IVec<Evaluable> vars)
              throws ContradictionException
Specified by:
toClause in interface Clausifiable
Throws:
ContradictionException


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.