org.sat4j.csp
Class Predicate

java.lang.Object
  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