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

Constructors

Constructor and Description
ImplicationNamer(DependencyHelper<T,C> helper, IVec<IConstr> toName)

Method Summary

Modifier and Type	Method and Description
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 -