public interface CoreUtilsFactory
| Modifier and Type | Method and Description |
|---|---|
DummyVariableNullability |
createDummyVariableNullability(ImmutableFunctionalTerm functionalTerm)
All the variables of the expression are treated as separately nullable
|
DummyVariableNullability |
createDummyVariableNullability(Stream<Variable> variables)
Variables are considered as separately nullable
|
VariableNullability |
createEmptyVariableNullability(com.google.common.collect.ImmutableSet<Variable> scope) |
ProjectionDecomposer |
createProjectionDecomposer(Predicate<ImmutableFunctionalTerm> decompositionOracle) |
VariableGenerator |
createVariableGenerator(Collection<Variable> knownVariables) |
VariableNullability |
createVariableNullability(com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> nullableGroups,
com.google.common.collect.ImmutableSet<Variable> scope) |
VariableGenerator createVariableGenerator(Collection<Variable> knownVariables)
VariableNullability createVariableNullability(com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> nullableGroups, com.google.common.collect.ImmutableSet<Variable> scope)
DummyVariableNullability createDummyVariableNullability(Stream<Variable> variables)
DummyVariableNullability createDummyVariableNullability(ImmutableFunctionalTerm functionalTerm)
VariableNullability createEmptyVariableNullability(com.google.common.collect.ImmutableSet<Variable> scope)
ProjectionDecomposer createProjectionDecomposer(Predicate<ImmutableFunctionalTerm> decompositionOracle)
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.