org.sat4j.reader.csp
Class SupportsGeneralizedACEncoding

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

All Implemented Interfaces:

Relation

public class SupportsGeneralizedACEncoding
extends SupportsDirectEncoding

Constructor Summary

SupportsGeneralizedACEncoding(int[] domains, int nbtuples)

Method Summary

void	toClause(ISolver solver, Var[] vars)

Methods inherited from class org.sat4j.reader.csp.SupportsDirectEncoding

addTuple, arity

Methods inherited from class java.lang.Object

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

Constructor Detail

SupportsGeneralizedACEncoding

public SupportsGeneralizedACEncoding(int[] domains,
                                     int nbtuples)

Method Detail

toClause

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

Specified by:

toClause in interface Relation

Overrides:

toClause in class SupportsDirectEncoding

Throws:

ContradictionException