public static class LinearInclusionDependencies.Builder<P extends AtomPredicate> extends Object
| Modifier and Type | Field and Description |
|---|---|
protected AtomFactory |
atomFactory |
protected com.google.common.collect.ImmutableList.Builder<LinearInclusionDependencies.LinearInclusionDependency<P>> |
builder |
protected CoreUtilsFactory |
coreUtilsFactory |
| Modifier | Constructor and Description |
|---|---|
protected |
Builder(CoreUtilsFactory coreUtilsFactory,
AtomFactory atomFactory) |
| Modifier and Type | Method and Description |
|---|---|
LinearInclusionDependencies.Builder |
add(DataAtom<P> head,
DataAtom<P> body) |
LinearInclusionDependencies<P> |
build() |
protected final com.google.common.collect.ImmutableList.Builder<LinearInclusionDependencies.LinearInclusionDependency<P extends AtomPredicate>> builder
protected final CoreUtilsFactory coreUtilsFactory
protected final AtomFactory atomFactory
protected Builder(CoreUtilsFactory coreUtilsFactory, AtomFactory atomFactory)
public LinearInclusionDependencies.Builder add(DataAtom<P> head, DataAtom<P> body)
public LinearInclusionDependencies<P> build()
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.