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

java.lang.Object
  org.sat4j.pb.tools.DisjunctionRHS<T,C>

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

Constructor Summary

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

Method Summary

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