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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Predicate
public Predicate()
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 © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.