org.sat4j.csp.constraints

Class WalshSupports

java.lang.Object

org.sat4j.csp.constraints.Supports

org.sat4j.csp.constraints.WalshSupports

All Implemented Interfaces:

Clausifiable, Relation

public class WalshSupports
extends Supports

Constructor Summary

Constructors

Constructor and Description
WalshSupports(int arity, int nbtuples)

Method Summary

Methods

Modifier and Type	Method and Description
protected Encoding	chooseEncoding(IVec<Var> scope)

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

addTuple, arity, toClause

Methods inherited from class java.lang.Object

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

Constructor Detail

WalshSupports

public WalshSupports(int arity,
             int nbtuples)

Method Detail

chooseEncoding

protected Encoding chooseEncoding(IVec<Var> scope)

Specified by:

chooseEncoding in class Supports