org.sat4j.reader.csp
Class SupportsDirectEncoding

java.lang.Object
  org.sat4j.reader.csp.SupportsDirectEncoding

All Implemented Interfaces:

Relation

Direct Known Subclasses:

BinarySupportsACEncoding, SupportsGeneralizedACEncoding

public class SupportsDirectEncoding
extends java.lang.Object
implements Relation

Constructor Summary

SupportsDirectEncoding(int[] domains, int nbtuples)

Method Summary

void	addTuple(int index, int[] tuple)
int	arity()
void	toClause(ISolver solver, Var[] vars)

Methods inherited from class java.lang.Object

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

Constructor Detail

SupportsDirectEncoding

public SupportsDirectEncoding(int[] domains,
                              int nbtuples)

Method Detail

addTuple

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

Specified by:

addTuple in interface Relation

toClause

public void toClause(ISolver solver,
                     Var[] vars)
              throws ContradictionException

Specified by:

toClause in interface Relation

Throws:

ContradictionException

arity

public int arity()

Specified by:

arity in interface Relation