T - the type of patterns in this conjunctionpublic interface Conjunction<T extends PatternAdmin> extends PatternAdmin
| Modifier and Type | Method and Description |
|---|---|
Disjunction<Conjunction<VarPatternAdmin>> |
getDisjunctiveNormalForm()
Get the disjunctive normal form of this pattern group.
|
Set<T> |
getPatterns() |
asConjunction, asDisjunction, asVar, commonVarNames, getVars, isConjunction, isDisjunction, isVar@CheckReturnValue Set<T> getPatterns()
Disjunction<Conjunction<VarPatternAdmin>> getDisjunctiveNormalForm()
PatternAdmingetDisjunctiveNormalForm in interface PatternAdminCopyright © 2017 Grakn Labs Ltd. All rights reserved.