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

java.lang.Object
  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 -