T
- C
- public class ImplicationAnd<T,C> extends Object
Constructor and Description |
---|
ImplicationAnd(DependencyHelper<T,C> helper,
IVecInt clause) |
Modifier and Type | Method and Description |
---|---|
ImplicationAnd<T,C> |
and(T thing)
Add a new positive literal to the conjunction of literals.
|
ImplicationAnd<T,C> |
andNot(T thing)
Add a new negative literal to the conjunction of literals.
|
void |
named(C name)
"name" the constraint for the explanation.
|
public ImplicationAnd(DependencyHelper<T,C> helper, IVecInt clause)
public ImplicationAnd<T,C> and(T thing) throws ContradictionException
thing
- a domain objectContradictionException
public ImplicationAnd<T,C> andNot(T thing) throws ContradictionException
thing
- a domain objectContradictionException
public void named(C name)
name
- an object to link to the constraint.Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.