public interface Conjunction<T extends PatternAdmin> extends PatternAdmin
| Modifier and Type | Method and Description |
|---|---|
Disjunction<Conjunction<VarAdmin>> |
getDisjunctiveNormalForm()
Get the disjunctive normal form of this pattern group.
|
Set<T> |
getPatterns() |
asConjunction, asDisjunction, asVar, getVars, isConjunction, isDisjunction, isVarDisjunction<Conjunction<VarAdmin>> getDisjunctiveNormalForm()
PatternAdmingetDisjunctiveNormalForm in interface PatternAdminCopyright © 2016. All rights reserved.