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

Constructors

Constructor and Description
Predicate()

Method Summary

Methods

Modifier and Type	Method and Description
void	addVariable(String name)
void	setExpression(String expr)
void	toClause(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> vscope, org.sat4j.specs.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(org.sat4j.specs.ISolver solver,
            org.sat4j.specs.IVec<Var> vscope,
            org.sat4j.specs.IVec<Evaluable> vars)
              throws org.sat4j.specs.ContradictionException

Specified by:

toClause in interface Clausifiable

Throws:

org.sat4j.specs.ContradictionException