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

Constructors

Constructor and Description
Supports(int arity, int nbtuples)

Method Summary

Methods

Modifier and Type	Method and Description
void	addTuple(int index, int[] tuple)
int	arity()
protected abstract Encoding	chooseEncoding(org.sat4j.specs.IVec<Var> scope)
void	toClause(org.sat4j.specs.ISolver solver, org.sat4j.specs.IVec<Var> scope, 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

Supports

public Supports(int arity,
        int nbtuples)

Method Detail

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(org.sat4j.specs.ISolver solver,
            org.sat4j.specs.IVec<Var> scope,
            org.sat4j.specs.IVec<Evaluable> vars)
              throws org.sat4j.specs.ContradictionException

Specified by:

toClause in interface Clausifiable

Throws:

org.sat4j.specs.ContradictionException

chooseEncoding

protected abstract Encoding chooseEncoding(org.sat4j.specs.IVec<Var> scope)