org.sat4j.reader.csp
Class GentSupports

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

public class GentSupports
extends Supports


Constructor Summary
GentSupports(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

GentSupports

public GentSupports(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.