org.sat4j.csp.constraints
Class Nogoods

java.lang.Object
  org.sat4j.csp.constraints.Nogoods

All Implemented Interfaces:

Clausifiable, Relation

public class Nogoods
extends java.lang.Object
implements Relation

Constructor Summary

Nogoods(int arity, int nbtuples)

Method Summary

void	addTuple(int index, int[] tuple)
int	arity()
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

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Nogoods

public Nogoods(int arity,
               int nbtuples)

Method Detail

addTuple

public void addTuple(int index,
                     int[] tuple)

Specified by:

addTuple 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

arity

public int arity()

Specified by:

arity in interface Relation