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

java.lang.Object
  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