public class DisjunctionRHS<T,C>
extends java.lang.Object
Constructor and Description |
---|
DisjunctionRHS(DependencyHelper<T,C> helper,
IVecInt literals) |
Modifier and Type | Method and Description |
---|---|
ImplicationNamer<T,C> |
implies(T... things) |
public DisjunctionRHS(DependencyHelper<T,C> helper, IVecInt literals)
public ImplicationNamer<T,C> implies(T... things) throws ContradictionException
ContradictionException