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

clone, equals, finalize, 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