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

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

public class DisjunctionRHS<T,C>
extends 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


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