org.sat4j.pb.tools
Class ImplicationNamer<T,C>

java.lang.Object
  extended by org.sat4j.pb.tools.ImplicationNamer<T,C>
Type Parameters:
T -
C -

public class ImplicationNamer<T,C>
extends java.lang.Object

That class is used to associate each constraint with another object that must be used to represent it in an explanation.

Author:
daniel

Constructor Summary
ImplicationNamer(DependencyHelper<T,C> helper, IVec<IConstr> toName)
           
 
Method Summary
 void named(C name)
          Associate the current constraint with a specific object that will be used to represent it in an explanation.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ImplicationNamer

public ImplicationNamer(DependencyHelper<T,C> helper,
                        IVec<IConstr> toName)
Method Detail

named

public void named(C name)
Associate the current constraint with a specific object that will be used to represent it in an explanation.

Parameters:
name -


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