org.sat4j.reader.csp
Interface Relation

All Known Implementing Classes:

BinarySupportsACEncoding, Nogoods, SupportsDirectEncoding, SupportsGeneralizedACEncoding

public interface Relation

Method Summary

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

Method Detail

addTuple

void addTuple(int index,
              int[] tuple)

toClause

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

Throws:

ContradictionException

arity

int arity()