public class DisjunctionRHS<T,C> extends Object
Constructor and Description |
---|
DisjunctionRHS(DependencyHelper<T,C> helper,
IVecInt literals) |
public DisjunctionRHS(DependencyHelper<T,C> helper, IVecInt literals)
public ImplicationNamer<T,C> implies(T... things) throws ContradictionException
ContradictionException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.