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

Constructors

Constructor and Description
BessiereSupports(int arity, int nbtuples)

Method Summary

Methods

Modifier and Type	Method and Description
protected Encoding	chooseEncoding(org.sat4j.specs.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(org.sat4j.specs.IVec<Var> scope)

Specified by:

chooseEncoding in class Supports