it.unibz.inf.ontop.constraints.impl

Class FullLinearInclusionDependenciesImpl<P extends AtomPredicate>

java.lang.Object

it.unibz.inf.ontop.constraints.impl.BasicLinearInclusionDependenciesImpl<P>

it.unibz.inf.ontop.constraints.impl.LinearInclusionDependenciesImpl<P>

it.unibz.inf.ontop.constraints.impl.FullLinearInclusionDependenciesImpl<P>

Type Parameters:

P -

All Implemented Interfaces:

LinearInclusionDependencies<P>

public class FullLinearInclusionDependenciesImpl<P extends AtomPredicate>
extends LinearInclusionDependenciesImpl<P>

Full linear inclusion dependencies, which contain no existentially quantified variables

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	FullLinearInclusionDependenciesImpl.Builder<P extends AtomPredicate>

Nested classes/interfaces inherited from class it.unibz.inf.ontop.constraints.impl.LinearInclusionDependenciesImpl

LinearInclusionDependenciesImpl.LinearInclusionDependency<P extends AtomPredicate>

Field Summary

Fields inherited from class it.unibz.inf.ontop.constraints.impl.LinearInclusionDependenciesImpl

atomFactory, dependencies

Method Summary

Modifier and Type	Method and Description
static <P extends AtomPredicate> FullLinearInclusionDependenciesImpl.Builder<P>	builder(CoreUtilsFactory coreUtilsFactory, AtomFactory atomFactory)
protected ImmutableHomomorphism	extendWithLabelledNulls(LinearInclusionDependenciesImpl.LinearInclusionDependency<P> id, ImmutableHomomorphism h)
protected void	registerVariables(DataAtom<P> atom)
protected void	registerVariables(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)

Methods inherited from class it.unibz.inf.ontop.constraints.impl.LinearInclusionDependenciesImpl

chase, toString

Methods inherited from class it.unibz.inf.ontop.constraints.impl.BasicLinearInclusionDependenciesImpl

chaseAllAtoms, chaseAtom

Methods inherited from class java.lang.Object

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

Method Detail

builder

public static <P extends AtomPredicate> FullLinearInclusionDependenciesImpl.Builder<P> builder(CoreUtilsFactory coreUtilsFactory,
                                                                                               AtomFactory atomFactory)

extendWithLabelledNulls

protected ImmutableHomomorphism extendWithLabelledNulls(LinearInclusionDependenciesImpl.LinearInclusionDependency<P> id,
                                                        ImmutableHomomorphism h)

Overrides:

extendWithLabelledNulls in class LinearInclusionDependenciesImpl<P extends AtomPredicate>

registerVariables

protected void registerVariables(DataAtom<P> atom)

Overrides:

registerVariables in class LinearInclusionDependenciesImpl<P extends AtomPredicate>

registerVariables

protected void registerVariables(com.google.common.collect.ImmutableCollection<DataAtom<P>> atoms)

Overrides:

registerVariables in class BasicLinearInclusionDependenciesImpl<P extends AtomPredicate>