org.sat4j.csp.constraints
Class BessiereSupports

java.lang.Object
  org.sat4j.csp.constraints.Supports
      org.sat4j.csp.constraints.BessiereSupports

All Implemented Interfaces:

Clausifiable, Relation

public class BessiereSupports
extends Supports

Constructor Summary

BessiereSupports(int arity, int nbtuples)

Method Summary

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

BessiereSupports

public BessiereSupports(int arity,
                        int nbtuples)

Method Detail

chooseEncoding

protected Encoding chooseEncoding(IVec<Var> scope)

Specified by:

chooseEncoding in class Supports