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

java.lang.Object
  extended by org.sat4j.pb.tools.ImplicationRHS<T,C>
Type Parameters:
T -
C -

public class ImplicationRHS<T,C>
extends Object

That class represents the RHS of an implication.

Author:
daniel

Constructor Summary
ImplicationRHS(DependencyHelper<T,C> helper, IVecInt clause)
           
 
Method Summary
 ImplicationNamer<T,C> implies(T... things)
          Build an implication with a disjunction of literals in the RHS.
 ImplicationAnd<T,C> implies(T thing)
          Build an implication with a conjunction of literals in the RHS.
 ImplicationAnd<T,C> impliesNot(T thing)
          Build an implication with a conjunction of literals in the RHS.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ImplicationRHS

public ImplicationRHS(DependencyHelper<T,C> helper,
                      IVecInt clause)
Method Detail

implies

public ImplicationAnd<T,C> implies(T thing)
                            throws ContradictionException
Build an implication with a conjunction of literals in the RHS.

Parameters:
thing - a domain object that will appear positively.
Returns:
a RHS conjunction of literals.
Throws:
ContradictionException

implies

public ImplicationNamer<T,C> implies(T... things)
                              throws ContradictionException
Build an implication with a disjunction of literals in the RHS.

Parameters:
thing - a domain object
Returns:
an object used to name the constraint. The constraint MUST BE NAMED.
Throws:
ContradictionException

impliesNot

public ImplicationAnd<T,C> impliesNot(T thing)
                               throws ContradictionException
Build an implication with a conjunction of literals in the RHS.

Parameters:
thing - a domain object that will appear negatively.
Returns:
a RHS conjunction of literals.
Throws:
ContradictionException


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