ai.grakn.graql.internal.reasoner.atom

Class AtomicBase

java.lang.Object

ai.grakn.graql.internal.reasoner.atom.AtomicBase

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

Atom, DataTypeAtom, IsAbstractAtom, Predicate, RegexAtom

public abstract class AtomicBase
extends Object
implements Atomic

Base Atomic implementation providing basic functionalities.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
AtomicBase()

Method Summary

Modifier and Type	Method and Description
void	checkValid()
protected Pattern	createCombinedPattern()
Pattern	getCombinedPattern()
IdPredicate	getIdPredicate(Var var)
<T extends Predicate> T	getPredicate(Var var, Class<T> type)
java.util.stream.Stream<Predicate>	getPredicates()
<T extends Predicate> java.util.stream.Stream<T>	getPredicates(Class<T> type)
Set<Var>	getVarNames()
Atomic	inferTypes()
Atomic	inferTypes(ConceptMap sub)
boolean	isUserDefined()
String	toString()
protected EmbeddedGraknTx<?>	tx()
Set<String>	validateAsRuleHead(Rule rule)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface ai.grakn.graql.admin.Atomic

alphaEquivalenceHashCode, copy, getParentQuery, getPattern, getVarName, isAlphaEquivalent, isAtom, isCompatibleWith, isRelation, isResource, isSelectable, isStructurallyEquivalent, isType, structuralEquivalenceHashCode, validateOntologically

Constructor Detail

AtomicBase

public AtomicBase()

Method Detail

checkValid

public void checkValid()

Specified by:

checkValid in interface Atomic

validateAsRuleHead

public Set<String> validateAsRuleHead(Rule rule)

Specified by:

validateAsRuleHead in interface Atomic

toString

public String toString()

Overrides:

toString in class Object

isUserDefined

public boolean isUserDefined()

getPredicates

public java.util.stream.Stream<Predicate> getPredicates()

Returns:

set of predicates relevant to this atomic

getPredicates

public <T extends Predicate> java.util.stream.Stream<T> getPredicates(Class<T> type)

Type Parameters:

T - the type of Predicate to return

Parameters:

type - the class of Predicate to return

Returns:

stream of predicates relevant to this atomic

getIdPredicate

@Nullable
public IdPredicate getIdPredicate(Var var)

Parameters:

var - variable of interest

Returns:

id predicate referring to prescribed variable

getPredicate

@Nullable
public <T extends Predicate> T getPredicate(Var var,
                                                      Class<T> type)

Type Parameters:

T - predicate type generic

Parameters:

var - variable the predicate refers to

type - predicate type

Returns:

specific predicate referring to provided variable

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

createCombinedPattern

protected Pattern createCombinedPattern()

getCombinedPattern

public Pattern getCombinedPattern()

Specified by:

getCombinedPattern in interface Atomic

inferTypes

public Atomic inferTypes()

Specified by:

inferTypes in interface Atomic

inferTypes

public Atomic inferTypes(ConceptMap sub)

tx

protected EmbeddedGraknTx<?> tx()

Returns:

GraknTx this atomic is defined in