org.sat4j.reader.csp
Class Supports

java.lang.Object
  extended by org.sat4j.reader.csp.Supports
All Implemented Interfaces:
Clausifiable, Relation
Direct Known Subclasses:
BessiereSupports, GentSupports, WalshSupports

public abstract class Supports
extends java.lang.Object
implements Relation


Constructor Summary
Supports(int arity, int nbtuples)
           
 
Method Summary
 void addTuple(int index, int[] tuple)
           
 int arity()
           
protected abstract  Encoding chooseEncoding(IVec<Var> scope)
           
 void toClause(ISolver solver, IVec<Var> scope, IVec<Evaluable> vars)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Supports

public Supports(int arity,
                int nbtuples)
Method Detail

addTuple

public void addTuple(int index,
                     int[] tuple)
Specified by:
addTuple in interface Relation

arity

public int arity()
Specified by:
arity in interface Relation

toClause

public void toClause(ISolver solver,
                     IVec<Var> scope,
                     IVec<Evaluable> vars)
              throws ContradictionException
Specified by:
toClause in interface Clausifiable
Throws:
ContradictionException

chooseEncoding

protected abstract Encoding chooseEncoding(IVec<Var> scope)


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