public static class FullLinearInclusionDependenciesImpl.Builder<P extends AtomPredicate> extends LinearInclusionDependenciesImpl.Builder<P>
atomFactory, builder, coreUtilsFactory| Modifier | Constructor and Description |
|---|---|
protected |
Builder(CoreUtilsFactory coreUtilsFactory,
AtomFactory atomFactory) |
| Modifier and Type | Method and Description |
|---|---|
FullLinearInclusionDependenciesImpl.Builder<P> |
add(DataAtom<P> head,
DataAtom<P> body) |
FullLinearInclusionDependenciesImpl<P> |
build() |
protected Builder(CoreUtilsFactory coreUtilsFactory, AtomFactory atomFactory)
public FullLinearInclusionDependenciesImpl.Builder<P> add(DataAtom<P> head, DataAtom<P> body)
add in class LinearInclusionDependenciesImpl.Builder<P extends AtomPredicate>public FullLinearInclusionDependenciesImpl<P> build()
build in class LinearInclusionDependenciesImpl.Builder<P extends AtomPredicate>Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.