org.sat4j.csp.constraints
Class BessiereSupports

java.lang.Object
  extended by org.sat4j.csp.constraints.Supports
      extended by 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


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