public interface PatternAdmin extends Pattern
| Modifier and Type | Method and Description |
|---|---|
default Conjunction<?> |
asConjunction() |
default Disjunction<?> |
asDisjunction() |
default VarPatternAdmin |
asVar() |
Set<Var> |
commonVarNames()
Get all common, user-defined variable names in the pattern.
|
Disjunction<Conjunction<VarPatternAdmin>> |
getDisjunctiveNormalForm()
Get the disjunctive normal form of this pattern group.
|
default Set<VarPatternAdmin> |
getVars() |
default boolean |
isConjunction() |
default boolean |
isDisjunction() |
default boolean |
isVar() |
@CheckReturnValue Disjunction<Conjunction<VarPatternAdmin>> getDisjunctiveNormalForm()
@CheckReturnValue Set<Var> commonVarNames()
@CheckReturnValue default boolean isDisjunction()
@CheckReturnValue default boolean isConjunction()
@CheckReturnValue default boolean isVar()
PatternAdmin is a VarPatternAdmin@CheckReturnValue default Disjunction<?> asDisjunction()
@CheckReturnValue default Conjunction<?> asConjunction()
@CheckReturnValue default VarPatternAdmin asVar()
PatternAdmin as a VarPatternAdmin, if it is one.@CheckReturnValue default Set<VarPatternAdmin> getVars()
Copyright © 2017 Grakn Labs Ltd. All rights reserved.