org.sat4j.reader.csp
Class WalshSupports

java.lang.Object
  org.sat4j.reader.csp.Supports
      org.sat4j.reader.csp.WalshSupports

All Implemented Interfaces:

Clausifiable, Relation

public class WalshSupports
extends Supports

Constructor Summary

WalshSupports(int arity, int nbtuples)

Method Summary

Methods inherited from class org.sat4j.reader.csp.Supports

addTuple, arity, toClause

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

WalshSupports

public WalshSupports(int arity,
                     int nbtuples)