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


Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.