org.sat4j.reader.csp
Class BinarySupportsACEncoding

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

All Implemented Interfaces:

Relation

public class BinarySupportsACEncoding
extends SupportsDirectEncoding

Constructor Summary

BinarySupportsACEncoding(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

BinarySupportsACEncoding

public BinarySupportsACEncoding(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