ai.grakn.graql.admin

Interface VarProperty

All Known Subinterfaces:

UniqueVarProperty, VarPropertyInternal

All Known Implementing Classes:

DataTypeProperty, HasResourceProperty, HasResourceTypeProperty, HasScopeProperty, IdProperty, IsAbstractProperty, IsaProperty, LabelProperty, LhsProperty, NeqProperty, PlaysProperty, RegexProperty, RelatesProperty, RelationProperty, RhsProperty, RuleProperty, SubProperty, ValueProperty

public interface VarProperty

A property of a VarAdmin, such as "isa movie" or "has name 'Jim'"

Author:

Felix Chapman

Method Summary

Modifier and Type	Method and Description
void	buildString(StringBuilder builder) Build a Graql string representation of this property
java.util.stream.Stream<VarAdmin>	getImplicitInnerVars() Get a stream of any inner VarAdmin within this `VarProperty`, including any that may have been implicitly created (such as with "has").
java.util.stream.Stream<VarAdmin>	getInnerVars() Get a stream of any inner VarAdmin within this `VarProperty`.
java.util.stream.Stream<VarAdmin>	getTypes() Get a stream of VarAdmin that must be types.
default String	graqlString() Get the Graql string representation of this property
default boolean	isUnique() True if there is at most one of these properties for each VarAdmin
Atomic	mapToAtom(VarAdmin var, Set<VarAdmin> vars, ReasonerQuery parent) maps this var property to a reasoner atom

Method Detail

buildString

void buildString(StringBuilder builder)

Build a Graql string representation of this property

Parameters:

builder - a string builder to append to

graqlString

default String graqlString()

Get the Graql string representation of this property

getTypes

java.util.stream.Stream<VarAdmin> getTypes()

Get a stream of VarAdmin that must be types.

getInnerVars

java.util.stream.Stream<VarAdmin> getInnerVars()

Get a stream of any inner VarAdmin within this `VarProperty`.

getImplicitInnerVars

java.util.stream.Stream<VarAdmin> getImplicitInnerVars()

Get a stream of any inner VarAdmin within this `VarProperty`, including any that may have been implicitly created (such as with "has").

isUnique

default boolean isUnique()

True if there is at most one of these properties for each VarAdmin

mapToAtom

Atomic mapToAtom(VarAdmin var,
                 Set<VarAdmin> vars,
                 ReasonerQuery parent)

maps this var property to a reasoner atom

Parameters:

var - VarAdmin this property belongs to

vars - VarAdmins constituting the pattern this property belongs to

parent - reasoner query this atom should belong to

Returns:

created atom