public class LinearInclusionDependenciesImpl<P extends AtomPredicate> extends BasicLinearInclusionDependenciesImpl<P>
| Modifier and Type | Class and Description |
|---|---|
static class |
LinearInclusionDependenciesImpl.Builder<P extends AtomPredicate> |
static class |
LinearInclusionDependenciesImpl.LinearInclusionDependency<P extends AtomPredicate> |
| Modifier and Type | Field and Description |
|---|---|
protected AtomFactory |
atomFactory |
protected com.google.common.collect.ImmutableList<LinearInclusionDependenciesImpl.LinearInclusionDependency<P>> |
dependencies |
| Modifier | Constructor and Description |
|---|---|
protected |
LinearInclusionDependenciesImpl(CoreUtilsFactory coreUtilsFactory,
AtomFactory atomFactory,
com.google.common.collect.ImmutableList<LinearInclusionDependenciesImpl.LinearInclusionDependency<P>> dependencies) |
| Modifier and Type | Method and Description |
|---|---|
static <P extends AtomPredicate> |
builder(CoreUtilsFactory coreUtilsFactory,
AtomFactory atomFactory) |
protected Stream<DataAtom<P>> |
chase(DataAtom<P> atom) |
protected ImmutableHomomorphism |
extendWithLabelledNulls(LinearInclusionDependenciesImpl.LinearInclusionDependency<P> id,
ImmutableHomomorphism h) |
protected void |
registerVariables(DataAtom<P> atom) |
String |
toString() |
chaseAllAtoms, chaseAtom, registerVariablesprotected final AtomFactory atomFactory
protected final com.google.common.collect.ImmutableList<LinearInclusionDependenciesImpl.LinearInclusionDependency<P extends AtomPredicate>> dependencies
protected LinearInclusionDependenciesImpl(CoreUtilsFactory coreUtilsFactory, AtomFactory atomFactory, com.google.common.collect.ImmutableList<LinearInclusionDependenciesImpl.LinearInclusionDependency<P>> dependencies)
public static <P extends AtomPredicate> LinearInclusionDependenciesImpl.Builder<P> builder(CoreUtilsFactory coreUtilsFactory, AtomFactory atomFactory)
protected Stream<DataAtom<P>> chase(DataAtom<P> atom)
chase in class BasicLinearInclusionDependenciesImpl<P extends AtomPredicate>protected void registerVariables(DataAtom<P> atom)
registerVariables in class BasicLinearInclusionDependenciesImpl<P extends AtomPredicate>protected ImmutableHomomorphism extendWithLabelledNulls(LinearInclusionDependenciesImpl.LinearInclusionDependency<P> id, ImmutableHomomorphism h)
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.