ai.grakn.graql.admin

Interface PatternAdmin

All Superinterfaces:

Pattern

All Known Subinterfaces:

Conjunction<T>, Disjunction<T>, VarAdmin

public interface PatternAdmin
extends Pattern

Admin class for inspecting and manipulating a Pattern

Author:

Felix Chapman

Method Summary

Modifier and Type	Method and Description
default Conjunction<?>	asConjunction()
default Disjunction<?>	asDisjunction()
default VarAdmin	asVar()
Set<VarName>	commonVarNames() Get all common, user-defined variable names in the pattern.
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()

Methods inherited from interface ai.grakn.graql.Pattern

admin

Method Detail

getDisjunctiveNormalForm

Disjunction<Conjunction<VarAdmin>> getDisjunctiveNormalForm()

Get the disjunctive normal form of this pattern group. This means the pattern group will be transformed into a number of conjunctive patterns, where each is disjunct. e.g. p = (A or B) and (C or D) p.getDisjunctiveNormalForm() = (A and C) or (A and D) or (B and C) or (B and D)

Returns:

the pattern group in disjunctive normal form

commonVarNames

Set<VarName> commonVarNames()

Get all common, user-defined variable names in the pattern.

isDisjunction

default boolean isDisjunction()

Returns:

true if this Pattern.Admin is a Conjunction

isConjunction

default boolean isConjunction()

Returns:

true if this Pattern.Admin is a Disjunction

isVar

default boolean isVar()

Returns:

true if this Pattern.Admin is a Var.Admin

asDisjunction

default Disjunction<?> asDisjunction()

Returns:

this Pattern.Admin as a Disjunction, if it is one.

asConjunction

default Conjunction<?> asConjunction()

Returns:

this Pattern.Admin as a Conjunction, if it is one.

asVar

default VarAdmin asVar()

Returns:

this Pattern.Admin as a Var.Admin, if it is one.

getVars

default Set<VarAdmin> getVars()

Returns:

all variables referenced in the pattern