org.sat4j.reader.csp
Class Nogoods

java.lang.Object
  org.sat4j.reader.csp.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(ISolver solver, IVec<Var> scope, 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(ISolver solver,
                     IVec<Var> scope,
                     IVec<Evaluable> vars)
              throws ContradictionException

Specified by:

toClause in interface Clausifiable

Throws:

ContradictionException

arity

public int arity()

Specified by:

arity in interface Relation