| Modifier and Type | Method and Description |
|---|---|
DataAtom<P> |
LinearInclusionDependencies.LinearInclusionDependency.getBody() |
DataAtom<P> |
LinearInclusionDependencies.LinearInclusionDependency.getHead() |
| Modifier and Type | Method and Description |
|---|---|
com.google.common.collect.ImmutableSet<DataAtom<P>> |
LinearInclusionDependencies.chaseAllAtoms(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)
Chases given atoms with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to each atom
|
com.google.common.collect.ImmutableSet<DataAtom<P>> |
LinearInclusionDependencies.chaseAtom(DataAtom<P> atom)
Chases a given atom with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to the atom
|
com.google.common.collect.ImmutableList<DataAtom<P>> |
ImmutableCQ.getAtoms() |
| Modifier and Type | Method and Description |
|---|---|
LinearInclusionDependencies.Builder |
LinearInclusionDependencies.Builder.add(DataAtom<P> head,
DataAtom<P> body) |
LinearInclusionDependencies.Builder |
LinearInclusionDependencies.Builder.add(DataAtom<P> head,
DataAtom<P> body) |
FullLinearInclusionDependencies.Builder |
FullLinearInclusionDependencies.Builder.add(DataAtom<P> head,
DataAtom<P> body) |
FullLinearInclusionDependencies.Builder |
FullLinearInclusionDependencies.Builder.add(DataAtom<P> head,
DataAtom<P> body) |
com.google.common.collect.ImmutableSet<DataAtom<P>> |
LinearInclusionDependencies.chaseAtom(DataAtom<P> atom)
Chases a given atom with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to the atom
|
protected void |
LinearInclusionDependencies.registerVariables(DataAtom<P> atom) |
protected void |
FullLinearInclusionDependencies.registerVariables(DataAtom<P> atom) |
| Modifier and Type | Method and Description |
|---|---|
com.google.common.collect.ImmutableSet<DataAtom<P>> |
LinearInclusionDependencies.chaseAllAtoms(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)
Chases given atoms with the linear inclusions dependencies
IMPORTANT: each dependency is applied only ONCE to each atom
|
protected void |
LinearInclusionDependencies.registerVariables(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms) |
protected void |
FullLinearInclusionDependencies.registerVariables(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms) |
| Constructor and Description |
|---|
ImmutableCQ(com.google.common.collect.ImmutableList<Variable> answerVariables,
com.google.common.collect.ImmutableList<DataAtom<P>> atoms) |
ImmutableHomomorphismIterator(ImmutableHomomorphism baseHomomorphism,
com.google.common.collect.ImmutableList<DataAtom<P>> from,
com.google.common.collect.ImmutableCollection<DataAtom<P>> to) |
ImmutableHomomorphismIterator(ImmutableHomomorphism baseHomomorphism,
com.google.common.collect.ImmutableList<DataAtom<P>> from,
com.google.common.collect.ImmutableCollection<DataAtom<P>> to) |
| Modifier and Type | Method and Description |
|---|---|
ImmutableHomomorphismIterator<P> |
ImmutableCQContainmentCheckUnderLIDs.homomorphismIterator(ImmutableHomomorphism base,
com.google.common.collect.ImmutableList<DataAtom<P>> from,
com.google.common.collect.ImmutableList<DataAtom<P>> to) |
ImmutableHomomorphismIterator<P> |
ImmutableCQContainmentCheckUnderLIDs.homomorphismIterator(ImmutableHomomorphism base,
com.google.common.collect.ImmutableList<DataAtom<P>> from,
com.google.common.collect.ImmutableList<DataAtom<P>> to) |
| Modifier and Type | Method and Description |
|---|---|
ExtensionalDataNode |
IntermediateQueryFactory.createExtensionalDataNode(DataAtom<RelationPredicate> atom) |
ExtensionalDataNode |
IntermediateQueryFactory.createExtensionalDataNode(DataAtom<RelationPredicate> newDataAtom,
VariableNullability variableNullability) |
IntensionalDataNode |
IntermediateQueryFactory.createIntensionalDataNode(DataAtom<AtomPredicate> atom) |
| Modifier and Type | Method and Description |
|---|---|
DataAtom<P> |
DataNode.getProjectionAtom()
Data atom containing the projected variables
|
| Modifier and Type | Method and Description |
|---|---|
IntensionalDataNode |
IntensionalDataNode.newAtom(DataAtom<AtomPredicate> newAtom) |
DataNode<P> |
DataNode.newAtom(DataAtom<P> newAtom)
Returns a new DataNode of the same type that will use the new atom
|
ExtensionalDataNode |
ExtensionalDataNode.newAtom(DataAtom<RelationPredicate> newAtom) |
| Modifier and Type | Method and Description |
|---|---|
DataAtom<P> |
DataNodeImpl.getProjectionAtom() |
| Modifier and Type | Method and Description |
|---|---|
IntensionalDataNode |
IntensionalDataNodeImpl.newAtom(DataAtom newAtom) |
ExtensionalDataNode |
ExtensionalDataNodeImpl.newAtom(DataAtom<RelationPredicate> newAtom) |
| Constructor and Description |
|---|
DataNodeImpl(DataAtom<P> atom,
IQTreeTools iqTreeTools,
IntermediateQueryFactory iqFactory) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
DistinctVariableOnlyDataAtom
TODO: find a better name
Data atom only composed of variables; all these variables are distinct.
|
| Modifier and Type | Method and Description |
|---|---|
<P extends AtomPredicate> |
AtomFactory.getDataAtom(P predicate,
com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> terms)
Beware: a DataAtom is immutable
|
<P extends AtomPredicate> |
AtomFactory.getDataAtom(P predicate,
VariableOrGroundTerm... terms)
Beware: a DataAtom is immutable
|
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI classIRI)
TODO: change the generic-type to RDFAtomPredicate?
|
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI propertyIRI,
VariableOrGroundTerm object)
TODO: change the generic-type to RDFAtomPredicate?
|
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject,
VariableOrGroundTerm property,
VariableOrGroundTerm object)
TODO: change the generic-type to RDFAtomPredicate?
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractDataAtomImpl<P extends AtomPredicate> |
class |
DataAtomImpl<P extends AtomPredicate> |
class |
DistinctVariableOnlyDataAtomImpl |
| Modifier and Type | Method and Description |
|---|---|
<P extends AtomPredicate> |
AtomFactoryImpl.getDataAtom(P predicate,
com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> arguments) |
<P extends AtomPredicate> |
AtomFactoryImpl.getDataAtom(P predicate,
VariableOrGroundTerm... terms) |
DataAtom<AtomPredicate> |
AtomFactoryImpl.getIntensionalTripleAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI classIRI) |
DataAtom<AtomPredicate> |
AtomFactoryImpl.getIntensionalTripleAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI propertyIRI,
VariableOrGroundTerm object) |
DataAtom<AtomPredicate> |
AtomFactoryImpl.getIntensionalTripleAtom(VariableOrGroundTerm subject,
VariableOrGroundTerm property,
VariableOrGroundTerm object) |
| Modifier and Type | Method and Description |
|---|---|
protected static boolean |
AbstractDataAtomImpl.hasDuplicates(DataAtom atom) |
| Modifier and Type | Method and Description |
|---|---|
Function |
ImmutabilityTools.convertToMutableFunction(DataAtom dataAtom) |
| Modifier and Type | Method and Description |
|---|---|
DataAtom |
ImmutableSubstitution.applyToDataAtom(DataAtom atom)
Only guaranteed for T extends VariableOrGroundTerm.
|
| Modifier and Type | Method and Description |
|---|---|
DataAtom |
ImmutableSubstitution.applyToDataAtom(DataAtom atom)
Only guaranteed for T extends VariableOrGroundTerm.
|
| Modifier and Type | Method and Description |
|---|---|
DataAtom |
AbstractImmutableSubstitutionImpl.applyToDataAtom(DataAtom atom) |
| Modifier and Type | Method and Description |
|---|---|
DataAtom |
AbstractImmutableSubstitutionImpl.applyToDataAtom(DataAtom atom) |
Optional<ImmutableSubstitution<VariableOrGroundTerm>> |
ImmutableUnificationTools.computeAtomMGU(DataAtom atom1,
DataAtom atom2) |
Optional<ImmutableSubstitution<VariableOrGroundTerm>> |
ImmutableUnificationTools.computeAtomMGU(DataAtom atom1,
DataAtom atom2) |
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.