org.sat4j.csp.constraints
Class Supports
java.lang.Object
org.sat4j.csp.constraints.Supports
- All Implemented Interfaces:
- Clausifiable, Relation
- Direct Known Subclasses:
- BessiereSupports, GentSupports, WalshSupports
public abstract class Supports
- extends Object
- implements Relation
Constructor Summary |
Supports(int arity,
int nbtuples)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Supports
public Supports(int arity,
int nbtuples)
addTuple
public void addTuple(int index,
int[] tuple)
- Specified by:
addTuple
in interface Relation
arity
public int arity()
- Specified by:
arity
in interface Relation
toClause
public void toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
throws ContradictionException
- Specified by:
toClause
in interface Clausifiable
- Throws:
ContradictionException
chooseEncoding
protected abstract Encoding chooseEncoding(IVec<Var> scope)
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.