org.sat4j.reader.csp
Class WalshSupports

java.lang.Object
  extended by org.sat4j.reader.csp.Supports
      extended by org.sat4j.reader.csp.WalshSupports
All Implemented Interfaces:
Clausifiable, Relation

public class WalshSupports
extends Supports


Constructor Summary
WalshSupports(int arity, int nbtuples)
           
 
Method Summary
protected  Encoding chooseEncoding(IVec<Var> scope)
           
 
Methods inherited from class org.sat4j.reader.csp.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


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