public interface PatternAdmin extends Pattern
| Modifier and Type | Method and Description |
|---|---|
default Conjunction<?> |
asConjunction() |
default Disjunction<?> |
asDisjunction() |
default VarAdmin |
asVar() |
Disjunction<Conjunction<VarAdmin>> |
getDisjunctiveNormalForm()
Get the disjunctive normal form of this pattern group.
|
default Set<VarAdmin> |
getVars() |
default boolean |
isConjunction() |
default boolean |
isDisjunction() |
default boolean |
isVar() |
Disjunction<Conjunction<VarAdmin>> getDisjunctiveNormalForm()
default boolean isDisjunction()
default boolean isConjunction()
default boolean isVar()
default Disjunction<?> asDisjunction()
default Conjunction<?> asConjunction()
default VarAdmin asVar()
Copyright © 2016. All rights reserved.