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

Modifier	Constructor and Description
protected	AtomicBase(AtomicBase a)
protected	AtomicBase(VarPattern pattern, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
void	checkValid()
boolean	containsVar(Var name)
abstract Atomic	copy()
protected Pattern	createCombinedPattern()
Pattern	getCombinedPattern()
ReasonerQuery	getParentQuery()
VarPattern	getPattern()
Var	getVarName()
Set<Var>	getVarNames()
Atomic	inferTypes()
Atomic	inferTypes(Answer sub)
boolean	isUserDefined()
void	setParentQuery(ReasonerQuery q)
String	toString()
protected GraknTx	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, isAlphaEquivalent, isAtom, isCompatibleWith, isRelation, isResource, isSelectable, isStructurallyEquivalent, isType, structuralEquivalenceHashCode, validateOntologically

Constructor Detail

AtomicBase

protected AtomicBase(VarPattern pattern,
                     ReasonerQuery par)

AtomicBase

protected AtomicBase(AtomicBase a)

Method Detail

copy

public abstract Atomic copy()

Specified by:

copy in interface Atomic

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

containsVar

public boolean containsVar(Var name)

isUserDefined

public boolean isUserDefined()

getVarName

public Var getVarName()

Specified by:

getVarName in interface Atomic

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

getPattern

public VarPattern getPattern()

Specified by:

getPattern in interface Atomic

createCombinedPattern

protected Pattern createCombinedPattern()

getCombinedPattern

public Pattern getCombinedPattern()

Specified by:

getCombinedPattern in interface Atomic

getParentQuery

public ReasonerQuery getParentQuery()

setParentQuery

public void setParentQuery(ReasonerQuery q)

Specified by:

setParentQuery in interface Atomic

inferTypes

public Atomic inferTypes()

Specified by:

inferTypes in interface Atomic

inferTypes

public Atomic inferTypes(Answer sub)

tx

protected GraknTx tx()

Returns:

GraknTx this atomic is defined in