org.sat4j.reader.csp
Interface Relation

All Superinterfaces:

Clausifiable

All Known Implementing Classes:

BessiereSupports, GentSupports, Nogoods, Supports, WalshSupports

public interface Relation
extends Clausifiable

A relation is a formula given in extension.

Author:

daniel

Method Summary

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

Methods inherited from interface org.sat4j.reader.csp.Clausifiable

toClause

Method Detail

addTuple

void addTuple(int index,
              int[] tuple)

arity

int arity()