T
- C
- public class ImplicationRHS<T,C> extends Object
Constructor and Description |
---|
ImplicationRHS(DependencyHelper<T,C> helper,
IVecInt clause) |
Modifier and Type | Method and Description |
---|---|
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.
|
public ImplicationRHS(DependencyHelper<T,C> helper, IVecInt clause)
public ImplicationAnd<T,C> implies(T thing) throws ContradictionException
thing
- a domain object that will appear positively.ContradictionException
public ImplicationNamer<T,C> implies(T... things) throws ContradictionException
thing
- a domain objectContradictionException
public ImplicationAnd<T,C> impliesNot(T thing) throws ContradictionException
thing
- a domain object that will appear negatively.ContradictionException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.