org.sat4j.csp.constraints

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

Methods

Modifier and Type	Method and Description
void	addTuple(int index, int[] tuple)
int	arity()

Methods inherited from interface org.sat4j.csp.Clausifiable

toClause

Method Detail

addTuple

void addTuple(int index,
            int[] tuple)

arity

int arity()