org.sat4j.pb.tools

Class DisjunctionRHS<T,C>

java.lang.Object

org.sat4j.pb.tools.DisjunctionRHS<T,C>

public class DisjunctionRHS<T,C>
extends Object

Constructor Summary

Constructors

Constructor and Description
DisjunctionRHS(DependencyHelper<T,C> helper, IVecInt literals)

Method Summary

Methods

Modifier and Type	Method and Description
ImplicationNamer<T,C>	implies(T... things)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DisjunctionRHS

public DisjunctionRHS(DependencyHelper<T,C> helper,
              IVecInt literals)

Method Detail

implies

public ImplicationNamer<T,C> implies(T... things)
                              throws ContradictionException

Throws:

ContradictionException