Uses of Interface
it.unibz.inf.ontop.model.term.Variable

Packages that use Variable

Package	Description
it.unibz.inf.ontop.constraints
it.unibz.inf.ontop.evaluator
it.unibz.inf.ontop.evaluator.impl
it.unibz.inf.ontop.exception
it.unibz.inf.ontop.injection
it.unibz.inf.ontop.iq
it.unibz.inf.ontop.iq.impl
it.unibz.inf.ontop.iq.impl.tree
it.unibz.inf.ontop.iq.node
it.unibz.inf.ontop.iq.node.impl
it.unibz.inf.ontop.iq.node.normalization
it.unibz.inf.ontop.iq.node.normalization.impl
it.unibz.inf.ontop.iq.request
it.unibz.inf.ontop.iq.request.impl
it.unibz.inf.ontop.iq.tools
it.unibz.inf.ontop.iq.transform.impl
it.unibz.inf.ontop.iq.type.impl
it.unibz.inf.ontop.model.atom
it.unibz.inf.ontop.model.atom.impl
it.unibz.inf.ontop.model.term
it.unibz.inf.ontop.model.term.functionsymbol
it.unibz.inf.ontop.model.term.functionsymbol.db.impl
it.unibz.inf.ontop.model.term.functionsymbol.impl
it.unibz.inf.ontop.model.term.impl
it.unibz.inf.ontop.model.type
it.unibz.inf.ontop.model.type.impl
it.unibz.inf.ontop.substitution
it.unibz.inf.ontop.substitution.impl
it.unibz.inf.ontop.utils
it.unibz.inf.ontop.utils.impl

Uses of Variable in it.unibz.inf.ontop.constraints

Methods in it.unibz.inf.ontop.constraints that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,VariableOrGroundTerm>	ImmutableHomomorphism.asMap()
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable>	ImmutableCQ.getAnswerVariables()

Constructor parameters in it.unibz.inf.ontop.constraints with type arguments of type Variable

Constructor and Description
ImmutableCQ(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable> answerVariables, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<DataAtom<P>> atoms)

Uses of Variable in it.unibz.inf.ontop.evaluator

Methods in it.unibz.inf.ontop.evaluator with parameters of type Variable

Modifier and Type	Method and Description
boolean	TermNullabilityEvaluator.isFilteringNullValue(ImmutableExpression expression, Variable variable)

Method parameters in it.unibz.inf.ontop.evaluator with type arguments of type Variable

Modifier and Type	Method and Description
boolean	TermNullabilityEvaluator.isFilteringNullValues(ImmutableExpression expression, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> tightVariables) tightVariables: if one is null the others as well

Uses of Variable in it.unibz.inf.ontop.evaluator.impl

Methods in it.unibz.inf.ontop.evaluator.impl with parameters of type Variable

Modifier and Type	Method and Description
boolean	TermNullabilityEvaluatorImpl.isFilteringNullValue(ImmutableExpression expression, Variable variable)

Method parameters in it.unibz.inf.ontop.evaluator.impl with type arguments of type Variable

Modifier and Type	Method and Description
boolean	TermNullabilityEvaluatorImpl.isFilteringNullValues(ImmutableExpression expression, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> tightVariables)

Uses of Variable in it.unibz.inf.ontop.exception

Constructors in it.unibz.inf.ontop.exception with parameters of type Variable

Constructor and Description
NotFilterableNullVariableException(IntermediateQuery query, Variable nullVariable)

Uses of Variable in it.unibz.inf.ontop.injection

Method parameters in it.unibz.inf.ontop.injection with type arguments of type Variable

Modifier and Type	Method and Description
AggregationNode	IntermediateQueryFactory.createAggregationNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> groupingVariables, ImmutableSubstitution<ImmutableFunctionalTerm> substitution)
ConstructionNode	IntermediateQueryFactory.createConstructionNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)
ConstructionNode	IntermediateQueryFactory.createConstructionNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables, ImmutableSubstitution<ImmutableTerm> substitution)
EmptyNode	IntermediateQueryFactory.createEmptyNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)
NativeNode	IntermediateQueryFactory.createNativeNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableSortedSet<Variable> variables, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,DBTermType> variableTypeMap, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,QuotedID> columnNames, String nativeQueryString, VariableNullability variableNullability)
NativeNode	IntermediateQueryFactory.createNativeNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableSortedSet<Variable> variables, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,DBTermType> variableTypeMap, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,QuotedID> columnNames, String nativeQueryString, VariableNullability variableNullability)
NativeNode	IntermediateQueryFactory.createNativeNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableSortedSet<Variable> variables, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,DBTermType> variableTypeMap, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,QuotedID> columnNames, String nativeQueryString, VariableNullability variableNullability)
UnionNode	IntermediateQueryFactory.createUnionNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)

Uses of Variable in it.unibz.inf.ontop.iq

Methods in it.unibz.inf.ontop.iq that return Variable

Modifier and Type	Method and Description
Variable	IntermediateQuery.generateNewVariable() Returns a variable that is not used in the intermediate query.
Variable	IntermediateQuery.generateNewVariable(Variable formerVariable) Returns a variable that is not used in the intermediate query.

Methods in it.unibz.inf.ontop.iq that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IQTree.getKnownVariables() Variables present in the tree
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IntermediateQuery.getKnownVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IQTree.getNotInternallyRequiredVariables() Variables that are the tree proposes for removal if the ancestor trees do not need them.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConcreteIQTreeCache.getNotInternallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	ConcreteIQTreeCache.getUniqueConstraints()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IQTree.getVariables() Variables projected by the tree
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConcreteIQTreeCache.getVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IntermediateQuery.getVariables(QueryNode subTreeRootNode) Set of variables that are returned by the sub-tree.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IntermediateQuery.getVariablesRequiredByAncestors(QueryNode queryNode) Minimal set of variables such that a construction node projecting exactly these variables could be inserted just above this node without altering the query semantics.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	IQTree.inferUniqueConstraints() NOT guaranteed to return all the unique constraints (MAY BE INCOMPLETE) Set of sets of determinants.

Methods in it.unibz.inf.ontop.iq with parameters of type Variable

Modifier and Type	Method and Description
Variable	IntermediateQuery.generateNewVariable(Variable formerVariable) Returns a variable that is not used in the intermediate query.
boolean	IQTree.isConstructed(Variable variable) Returns true if the variable is (at least in one branch) constructed by a substitution (in a construction node)
IQTree	IQTree.liftIncompatibleDefinitions(Variable variable, VariableGenerator variableGenerator) Tries to lift unions when they have incompatible definitions for a variable.

Method parameters in it.unibz.inf.ontop.iq with type arguments of type Variable

Modifier and Type	Method and Description
void	ConcreteIQTreeCache.setNotInternallyRequiredVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> notInternallyRequiredVariables) Can only be set ONCE!
void	ConcreteIQTreeCache.setUniqueConstraints(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> uniqueConstraints) Can only be set ONCE!
void	ConcreteIQTreeCache.setVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables) Can only be set ONCE!

Uses of Variable in it.unibz.inf.ontop.iq.impl

Methods in it.unibz.inf.ontop.iq.impl that return Variable

Modifier and Type	Method and Description
Variable	IntermediateQueryImpl.generateNewVariable()
Variable	QueryTreeComponent.generateNewVariable() Returns a variable that is not used in the intermediate query.
Variable	IntermediateQueryImpl.generateNewVariable(Variable formerVariable)
Variable	QueryTreeComponent.generateNewVariable(Variable formerVariable) Returns a variable that is not used in the intermediate query.

Methods in it.unibz.inf.ontop.iq.impl that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IQTreeTools.computeNewProjectedVariables(ImmutableSubstitution<? extends ImmutableTerm> descendingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NaryIQTreeImpl.computeNotInternallyRequiredVariables()
protected abstract it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AbstractCompositeIQTree.computeNotInternallyRequiredVariables()
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	BinaryNonCommutativeIQTreeImpl.computeNotInternallyRequiredVariables()
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	UnaryIQTreeImpl.computeNotInternallyRequiredVariables()
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	NaryIQTreeImpl.computeUniqueConstraints()
protected abstract it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	AbstractCompositeIQTree.computeUniqueConstraints()
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	BinaryNonCommutativeIQTreeImpl.computeUniqueConstraints()
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	UnaryIQTreeImpl.computeUniqueConstraints()
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AbstractCompositeIQTree.computeVariables()
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	UnaryIQTreeImpl.computeVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IntermediateQueryImpl.getKnownVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AbstractCompositeIQTree.getKnownVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	QueryTreeComponent.getKnownVariables() All the possibly already allocated variables
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConcreteIQTreeCacheImpl.getNotInternallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AbstractCompositeIQTree.getNotInternallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	ConcreteIQTreeCacheImpl.getUniqueConstraints()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConcreteIQTreeCacheImpl.getVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AbstractCompositeIQTree.getVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IntermediateQueryImpl.getVariables(QueryNode subTreeRootNode)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	QueryTreeComponent.getVariables(QueryNode node)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IntermediateQueryImpl.getVariablesRequiredByAncestors(QueryNode queryNode)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	AbstractCompositeIQTree.inferUniqueConstraints()

Methods in it.unibz.inf.ontop.iq.impl with parameters of type Variable

Modifier and Type	Method and Description
Variable	IntermediateQueryImpl.generateNewVariable(Variable formerVariable)
Variable	QueryTreeComponent.generateNewVariable(Variable formerVariable) Returns a variable that is not used in the intermediate query.
boolean	NaryIQTreeImpl.isConstructed(Variable variable) TODO: should we cache the boolean?
boolean	BinaryNonCommutativeIQTreeImpl.isConstructed(Variable variable)
boolean	UnaryIQTreeImpl.isConstructed(Variable variable)
IQTree	NaryIQTreeImpl.liftIncompatibleDefinitions(Variable variable, VariableGenerator variableGenerator) TODO: use the properties for optimization purposes?
IQTree	BinaryNonCommutativeIQTreeImpl.liftIncompatibleDefinitions(Variable variable, VariableGenerator variableGenerator)
IQTree	UnaryIQTreeImpl.liftIncompatibleDefinitions(Variable variable, VariableGenerator variableGenerator)

Method parameters in it.unibz.inf.ontop.iq.impl with type arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IQTreeTools.computeNewProjectedVariables(ImmutableSubstitution<? extends ImmutableTerm> descendingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)
Optional<InjectiveVar2VarSubstitution>	IQTreeTools.extractFreshRenaming(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables) If the substitution is an fresh renaming, returns it as an injective substitution
void	ConcreteIQTreeCacheImpl.setNotInternallyRequiredVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> notInternallyRequiredVariables)
void	ConcreteIQTreeCacheImpl.setUniqueConstraints(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> uniqueConstraints)
void	ConcreteIQTreeCacheImpl.setVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables)

Constructor parameters in it.unibz.inf.ontop.iq.impl with type arguments of type Variable

Constructor and Description
ConcreteIQTreeCacheImpl(CoreSingletons coreSingletons, boolean isNormalizedForOptimization, boolean areDistinctAlreadyRemoved, VariableNullability variableNullability, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> notInternallyRequiredVariables, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> possibleVariableDefinitions, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> uniqueConstraints, Boolean isDistinct) Internal constructor
ConcreteIQTreeCacheImpl(CoreSingletons coreSingletons, boolean isNormalizedForOptimization, boolean areDistinctAlreadyRemoved, VariableNullability variableNullability, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> notInternallyRequiredVariables, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> possibleVariableDefinitions, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> uniqueConstraints, Boolean isDistinct) Internal constructor
ConcreteIQTreeCacheImpl(CoreSingletons coreSingletons, boolean isNormalizedForOptimization, boolean areDistinctAlreadyRemoved, VariableNullability variableNullability, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> notInternallyRequiredVariables, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> possibleVariableDefinitions, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> uniqueConstraints, Boolean isDistinct) Internal constructor

Uses of Variable in it.unibz.inf.ontop.iq.impl.tree

Methods in it.unibz.inf.ontop.iq.impl.tree that return Variable

Modifier and Type	Method and Description
Variable	DefaultQueryTreeComponent.generateNewVariable()
Variable	DefaultQueryTreeComponent.generateNewVariable(Variable formerVariable)

Methods in it.unibz.inf.ontop.iq.impl.tree that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DefaultQueryTreeComponent.getKnownVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DefaultQueryTreeComponent.getVariables(QueryNode node) TODO: optimize by it but materializing (and maintaining) the results.

Methods in it.unibz.inf.ontop.iq.impl.tree with parameters of type Variable

Modifier and Type	Method and Description
Variable	DefaultQueryTreeComponent.generateNewVariable(Variable formerVariable)

Uses of Variable in it.unibz.inf.ontop.iq.node

Methods in it.unibz.inf.ontop.iq.node that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NaryOperatorNode.computeNotInternallyRequiredVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	UnaryOperatorNode.computeNotInternallyRequiredVariables(IQTree child)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	BinaryOrderedOperatorNode.computeNotInternallyRequiredVariables(IQTree leftChild, IQTree rightChild)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ExtendedProjectionNode.getChildVariables() Variables that have to be provided by the child
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,QuotedID>	NativeNode.getColumnNames() Needed because certain DBs like Oracle impose constraints on the length of a column name, so the column name may differ from the variable name.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AggregationNode.getGroupingVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	QueryNode.getLocallyDefinedVariables() Locally defined variables must not appear in the sub-tree
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	QueryNode.getLocallyRequiredVariables() Set of variables that this node, INDEPENDENTLY OF THE REQUIREMENTS OF ITS ANCESTORS, requires to be defined in the sub-tree.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	QueryNode.getLocalVariables() Set of variables MENTIONED in the node, INDEPENDENTLY of its sub-tree.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	VariableNullability.getNullableGroups() All the variables of a group are always null at the same time (guaranteed).
default it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	VariableNullability.getNullableVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NodeTransformationProposal.getNullVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	QueryNode.getRequiredVariables(IntermediateQuery query) Set of variables which, individually, must be provided by at least one child, INDEPENDENTLY OF THE REQUIREMENTS OF THIS NODE'S ANCESTORS.
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,DBTermType>	NativeNode.getTypeMap() Every variable is guaranteed to have a type
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ExplicitVariableProjectionNode.getVariables() Set of variables returned by any sub-tree where this node is the root.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSortedSet<Variable>	NativeNode.getVariables() This set is sorted, useful for instance for using JDBC result sets
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	NaryOperatorNode.inferUniqueConstraints(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	UnaryOperatorNode.inferUniqueConstraints(IQTree child)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	BinaryOrderedOperatorNode.inferUniqueConstraints(IQTree leftChild, IQTree rightChild)

Methods in it.unibz.inf.ontop.iq.node with parameters of type Variable

Modifier and Type	Method and Description
boolean	UnionNode.hasAChildWithLiftableDefinition(Variable variable, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children) Returns true if its has, as a child, a construction node defining the variable.
boolean	NaryOperatorNode.isConstructed(Variable variable, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
boolean	UnaryOperatorNode.isConstructed(Variable variable, IQTree child)
boolean	BinaryOrderedOperatorNode.isConstructed(Variable variable, IQTree leftChild, IQTree rightChild)
boolean	VariableNullability.isPossiblyNullable(Variable variable) NB: for variables outside its scope, returns true (as it does not know anything about them)
boolean	QueryNode.isVariableNullable(IntermediateQuery query, Variable variable) Returns true if it cannot guarantee the projected variable to be non-null Throws an IllegalArgumentException if the variable is not projected by the node
IQTree	NaryOperatorNode.liftIncompatibleDefinitions(Variable variable, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children, VariableGenerator variableGenerator) Deprecated.
IQTree	BinaryOrderedOperatorNode.liftIncompatibleDefinitions(Variable variable, IQTree leftChild, IQTree rightChild, VariableGenerator variableGenerator)
IQTree	UnaryOperatorNode.liftIncompatibleDefinitions(Variable variable, IQTree child, VariableGenerator variableGenerator) Deprecated.

Method parameters in it.unibz.inf.ontop.iq.node with type arguments of type Variable

Modifier and Type	Method and Description
boolean	VariableNullability.canPossiblyBeNullSeparately(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables) Returns true if it possible that among the variables at least two can be null but are not required to be null at the same time.
VariableNullability	VariableNullability.update(ImmutableSubstitution<? extends ImmutableTerm> substitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)
VariableNullability	DummyVariableNullability.update(ImmutableSubstitution<? extends ImmutableTerm> substitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables) Deprecated.

Uses of Variable in it.unibz.inf.ontop.iq.node.impl

Methods in it.unibz.inf.ontop.iq.node.impl that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConstructionNodeTools.computeNewProjectedVariables(ImmutableSubstitution<? extends ImmutableTerm> descendingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	JoinOrFilterNodeImpl.computeNotInternallyRequiredVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	InnerJoinNodeImpl.computeNotInternallyRequiredVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	UnionNodeImpl.computeNotInternallyRequiredVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children) All the variables of an union could be projected out
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	OrderByNodeImpl.computeNotInternallyRequiredVariables(IQTree child) Subtracts from the variables proposed by the child the one used for ordering
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DistinctNodeImpl.computeNotInternallyRequiredVariables(IQTree child) TODO: implement it more seriously, by consider functional dependencies between variables
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	SliceNodeImpl.computeNotInternallyRequiredVariables(IQTree child)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConstructionNodeImpl.computeNotInternallyRequiredVariables(IQTree child) For a construction node, none of the projected variables is required.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	FilterNodeImpl.computeNotInternallyRequiredVariables(IQTree child)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AggregationNodeImpl.computeNotInternallyRequiredVariables(IQTree child) Out of the projected variables, only the grouping variables are required
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	LeftJoinNodeImpl.computeNotInternallyRequiredVariables(IQTree leftChild, IQTree rightChild)
static it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AggregationNodeImpl.extractChildVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> groupingVariables, ImmutableSubstitution<ImmutableFunctionalTerm> substitution)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConstructionNodeImpl.getChildVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AggregationNodeImpl.getChildVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,QuotedID>	NativeNodeImpl.getColumnNames()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AggregationNodeImpl.getGroupingVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ExtensionalDataNodeImpl.getKnownVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	TrueNodeImpl.getKnownVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	EmptyNodeImpl.getKnownVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NativeNodeImpl.getKnownVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DataNodeImpl.getKnownVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	OrderByNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DistinctNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ExtensionalDataNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	SliceNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConstructionNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	TrueNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	EmptyNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	JoinOrFilterNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NativeNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	UnionNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DataNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AggregationNodeImpl.getLocallyDefinedVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	OrderByNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DistinctNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ExtensionalDataNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	SliceNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConstructionNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	TrueNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	EmptyNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	JoinOrFilterNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NativeNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	UnionNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DataNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AggregationNodeImpl.getLocallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	OrderByNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DistinctNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ExtensionalDataNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	SliceNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConstructionNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	TrueNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	EmptyNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	JoinOrFilterNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NativeNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	UnionNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DataNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AggregationNodeImpl.getLocalVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ExtensionalDataNodeImpl.getNotInternallyRequiredVariables() Only co-occuring variables are required.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	TrueNodeImpl.getNotInternallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	EmptyNodeImpl.getNotInternallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IntensionalDataNodeImpl.getNotInternallyRequiredVariables() All the variables are required, because an intensional data node cannot be sparse.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NativeNodeImpl.getNotInternallyRequiredVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	VariableNullabilityImpl.getNullableGroups()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	DummyVariableNullabilityImpl.getNullableGroups()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	VariableNullabilityImpl.getNullableVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NodeTransformationProposalImpl.getNullVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	OrderByNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DistinctNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ExtensionalDataNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	SliceNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	JoinLikeNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConstructionNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	TrueNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	EmptyNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	IntensionalDataNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NativeNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	FilterNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	UnionNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DataNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AggregationNodeImpl.getRequiredVariables(IntermediateQuery query)
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,DBTermType>	NativeNodeImpl.getTypeMap()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ExtensionalDataNodeImpl.getVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConstructionNodeImpl.getVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	TrueNodeImpl.getVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	EmptyNodeImpl.getVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSortedSet<Variable>	NativeNodeImpl.getVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	UnionNodeImpl.getVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DataNodeImpl.getVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AggregationNodeImpl.getVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	ExtensionalDataNodeImpl.inferUniqueConstraints()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	TrueNodeImpl.inferUniqueConstraints()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	EmptyNodeImpl.inferUniqueConstraints()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	IntensionalDataNodeImpl.inferUniqueConstraints()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	NativeNodeImpl.inferUniqueConstraints() Dummy implementation (considered too late for inferring it)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	InnerJoinNodeImpl.inferUniqueConstraints(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children) For unique constraints to emerge from an inner join, children must provide unique constraints and being naturally joined over some of such constraints.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	UnionNodeImpl.inferUniqueConstraints(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children) TODO: implement it seriously
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	OrderByNodeImpl.inferUniqueConstraints(IQTree child)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	DistinctNodeImpl.inferUniqueConstraints(IQTree child)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	SliceNodeImpl.inferUniqueConstraints(IQTree child)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	ConstructionNodeImpl.inferUniqueConstraints(IQTree child)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	FilterNodeImpl.inferUniqueConstraints(IQTree child)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	AggregationNodeImpl.inferUniqueConstraints(IQTree child)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>>	LeftJoinNodeImpl.inferUniqueConstraints(IQTree leftChild, IQTree rightChild) TODO: implement it seriously

Methods in it.unibz.inf.ontop.iq.node.impl with parameters of type Variable

Modifier and Type	Method and Description
boolean	UnionNodeImpl.hasAChildWithLiftableDefinition(Variable variable, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
boolean	LeafIQTreeImpl.isConstructed(Variable variable)
boolean	InnerJoinNodeImpl.isConstructed(Variable variable, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
boolean	UnionNodeImpl.isConstructed(Variable variable, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children)
boolean	ExtendedProjectionNodeImpl.isConstructed(Variable variable, IQTree child)
boolean	QueryModifierNodeImpl.isConstructed(Variable variable, IQTree child)
boolean	FilterNodeImpl.isConstructed(Variable variable, IQTree child)
boolean	LeftJoinNodeImpl.isConstructed(Variable variable, IQTree leftChild, IQTree rightChild)
protected boolean	JoinOrFilterNodeImpl.isFilteringNullValue(Variable variable)
boolean	VariableNullabilityImpl.isPossiblyNullable(Variable variable) Non-projected variables ("external") are considered as nullable.
boolean	DummyVariableNullabilityImpl.isPossiblyNullable(Variable variable)
boolean	ExtensionalDataNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable)
boolean	LeftJoinNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable)
boolean	ConstructionNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable)
boolean	TrueNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable)
boolean	QueryModifierNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable)
boolean	EmptyNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable)
boolean	IntensionalDataNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable) We assume all the variables are non-null.
boolean	NativeNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable)
boolean	FilterNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable)
boolean	InnerJoinNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable)
boolean	UnionNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable)
boolean	AggregationNodeImpl.isVariableNullable(IntermediateQuery query, Variable variable)
IQTree	InnerJoinNodeImpl.liftIncompatibleDefinitions(Variable variable, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children, VariableGenerator variableGenerator)
IQTree	UnionNodeImpl.liftIncompatibleDefinitions(Variable variable, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children, VariableGenerator variableGenerator) TODO: make it compatible definitions together (requires a VariableGenerator so as to lift bindings)
IQTree	LeftJoinNodeImpl.liftIncompatibleDefinitions(Variable variable, IQTree leftChild, IQTree rightChild, VariableGenerator variableGenerator)
IQTree	OrderByNodeImpl.liftIncompatibleDefinitions(Variable variable, IQTree child, VariableGenerator variableGenerator)
IQTree	DistinctNodeImpl.liftIncompatibleDefinitions(Variable variable, IQTree child, VariableGenerator variableGenerator) TODO: implement it seriously! (is currently blocking)
IQTree	SliceNodeImpl.liftIncompatibleDefinitions(Variable variable, IQTree child, VariableGenerator variableGenerator) Does not lift unions, blocks them
IQTree	ConstructionNodeImpl.liftIncompatibleDefinitions(Variable variable, IQTree child, VariableGenerator variableGenerator)
IQTree	FilterNodeImpl.liftIncompatibleDefinitions(Variable variable, IQTree child, VariableGenerator variableGenerator)
IQTree	AggregationNodeImpl.liftIncompatibleDefinitions(Variable variable, IQTree child, VariableGenerator variableGenerator) By default does not lift.
IQTree	LeafIQTreeImpl.liftIncompatibleDefinitions(Variable variable, VariableGenerator variableGenerator)

Method parameters in it.unibz.inf.ontop.iq.node.impl with type arguments of type Variable

Modifier and Type	Method and Description
boolean	VariableNullabilityImpl.canPossiblyBeNullSeparately(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables)
boolean	DummyVariableNullabilityImpl.canPossiblyBeNullSeparately(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ConstructionNodeTools.computeNewProjectedVariables(ImmutableSubstitution<? extends ImmutableTerm> descendingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)
protected abstract Optional<ExtendedProjectionNode>	ExtendedProjectionNodeImpl.computeNewProjectionNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newProjectedVariables, ImmutableSubstitution<ImmutableTerm> theta, IQTree newChild)
protected Optional<ExtendedProjectionNode>	ConstructionNodeImpl.computeNewProjectionNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newProjectedVariables, ImmutableSubstitution<ImmutableTerm> theta, IQTree newChild)
protected Optional<ExtendedProjectionNode>	AggregationNodeImpl.computeNewProjectionNode(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newProjectedVariables, ImmutableSubstitution<ImmutableTerm> theta, IQTree newChild)
static it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AggregationNodeImpl.extractChildVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> groupingVariables, ImmutableSubstitution<ImmutableFunctionalTerm> substitution)
VariableNullability	JoinOrFilterVariableNullabilityTools.getDummyVariableNullability(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables)
ConstructionNodeTools.NewSubstitutionPair	ConstructionNodeTools.traverseConstructionNode(ImmutableSubstitution<? extends ImmutableTerm> tau, ImmutableSubstitution<? extends ImmutableTerm> formerTheta, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> formerV, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newV) TODO: explain
ConstructionNodeTools.NewSubstitutionPair	ConstructionNodeTools.traverseConstructionNode(ImmutableSubstitution<? extends ImmutableTerm> tau, ImmutableSubstitution<? extends ImmutableTerm> formerTheta, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> formerV, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newV) TODO: explain
VariableNullability	VariableNullabilityImpl.update(ImmutableSubstitution<? extends ImmutableTerm> substitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newScope)
VariableNullability	DummyVariableNullabilityImpl.update(ImmutableSubstitution<? extends ImmutableTerm> substitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables) Deprecated.
VariableNullability	JoinOrFilterVariableNullabilityTools.updateWithFilter(ImmutableExpression filter, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> nullableGroups, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> scope)
VariableNullability	JoinOrFilterVariableNullabilityTools.updateWithFilter(ImmutableExpression filter, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> nullableGroups, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> scope)

Constructor parameters in it.unibz.inf.ontop.iq.node.impl with type arguments of type Variable

Constructor and Description
AggregationNodeImpl(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> groupingVariables, ImmutableSubstitution<ImmutableFunctionalTerm> substitution, SubstitutionFactory substitutionFactory, IntermediateQueryFactory iqFactory, AggregationNormalizer aggregationNormalizer, ImmutableUnificationTools unificationTools, ConstructionNodeTools constructionNodeTools, ImmutableSubstitutionTools substitutionTools, TermFactory termFactory, CoreUtilsFactory coreUtilsFactory, OntopModelSettings settings)
NodeTransformationProposalImpl(NodeTransformationProposedState state, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nullVariables)
NodeTransformationProposalImpl(NodeTransformationProposedState state, QueryNode newNodeOrReplacingChild, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nullVariables)

Uses of Variable in it.unibz.inf.ontop.iq.node.normalization

Method parameters in it.unibz.inf.ontop.iq.node.normalization with type arguments of type Variable

Modifier and Type	Method and Description
ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization	ConstructionSubstitutionNormalizer.normalizeSubstitution(ImmutableSubstitution<ImmutableTerm> ascendingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)
IQTree	NotRequiredVariableRemover.optimize(IQTree tree, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> requiredVariables, VariableGenerator variableGenerator)
ConditionSimplifier.ExpressionAndSubstitution	ConditionSimplifier.simplifyCondition(Optional<ImmutableExpression> nonOptimizedExpression, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonLiftableVariables, VariableNullability variableNullability)

Uses of Variable in it.unibz.inf.ontop.iq.node.normalization.impl

Fields in it.unibz.inf.ontop.iq.node.normalization.impl with type parameters of type Variable

Modifier and Type	Field and Description
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NotRequiredVariableRemoverImpl.VariableRemoverTransformer.variablesToRemove

Methods in it.unibz.inf.ontop.iq.node.normalization.impl that return Variable

Modifier and Type	Method and Description
Variable	RightProvenanceNormalizer.RightProvenance.getProvenanceVariable()

Method parameters in it.unibz.inf.ontop.iq.node.normalization.impl with type arguments of type Variable

Modifier and Type	Method and Description
protected IQTreeTransformer	NotRequiredVariableRemoverImpl.VariableRemoverTransformer.createNewTransformer(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variablesToRemove) To be overridden by sub-classes
<R> R	JoinLikeChildBindingLifter.liftRegularChildBinding(ConstructionNode selectedChildConstructionNode, int selectedChildPosition, IQTree selectedGrandChild, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonLiftableVariables, Optional<ImmutableExpression> initialJoiningCondition, VariableGenerator variableGenerator, VariableNullability variableNullability, JoinLikeChildBindingLifter.BindingLiftConverter<R> bindingLiftConverter) For children of a commutative join or for the left child of a LJ
RightProvenanceNormalizer.RightProvenance	RightProvenanceNormalizer.normalizeRightProvenance(IQTree rightTree, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> leftVariables, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> rightRequiredVariables, VariableGenerator variableGenerator)
RightProvenanceNormalizer.RightProvenance	RightProvenanceNormalizer.normalizeRightProvenance(IQTree rightTree, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> leftVariables, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> rightRequiredVariables, VariableGenerator variableGenerator)
ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization	ConstructionSubstitutionNormalizerImpl.normalizeSubstitution(ImmutableSubstitution<ImmutableTerm> ascendingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables) Prevents creating construction nodes out of ascending substitutions Here, variable nullability is not considered due to the complexity induced by the descending substitution
IQTree	NotRequiredVariableRemoverImpl.optimize(IQTree tree, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> requiredVariables, VariableGenerator variableGenerator)
protected IQTree	NotRequiredVariableRemoverImpl.removeNonRequiredVariables(IQTree tree, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variablesToRemove, VariableGenerator variableGenerator)
ConditionSimplifier.ExpressionAndSubstitution	ConditionSimplifierImpl.simplifyCondition(Optional<ImmutableExpression> nonOptimizedExpression, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonLiftableVariables, VariableNullability variableNullability)

Constructors in it.unibz.inf.ontop.iq.node.normalization.impl with parameters of type Variable

Constructor and Description
RightProvenance(Variable provenanceVariable, IQTree rightTree)

Constructor parameters in it.unibz.inf.ontop.iq.node.normalization.impl with type arguments of type Variable

Constructor and Description
State(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<UnaryOperatorNode> ancestors, Optional<ImmutableExpression> condition, IQTree child)
VariableRemoverTransformer(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variablesToRemove, VariableGenerator variableGenerator, CoreSingletons coreSingletons)

Uses of Variable in it.unibz.inf.ontop.iq.request

Methods in it.unibz.inf.ontop.iq.request that return Variable

Modifier and Type	Method and Description
Variable	DefinitionPushDownRequest.getNewVariable()

Methods in it.unibz.inf.ontop.iq.request that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DefinitionPushDownRequest.getDefinitionAndConditionVariables()

Methods in it.unibz.inf.ontop.iq.request with parameters of type Variable

Modifier and Type	Method and Description
static DefinitionPushDownRequest	DefinitionPushDownRequest.create(Variable newVariable, ImmutableTerm definition, ImmutableExpression condition)

Uses of Variable in it.unibz.inf.ontop.iq.request.impl

Methods in it.unibz.inf.ontop.iq.request.impl that return Variable

Modifier and Type	Method and Description
Variable	DefPushDownRequestImpl.getNewVariable()

Methods in it.unibz.inf.ontop.iq.request.impl that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DefPushDownRequestImpl.getDefinitionAndConditionVariables()

Constructors in it.unibz.inf.ontop.iq.request.impl with parameters of type Variable

Constructor and Description
DefPushDownRequestImpl(Variable newVariable, ImmutableTerm definition, ImmutableExpression condition)

Uses of Variable in it.unibz.inf.ontop.iq.tools

Methods in it.unibz.inf.ontop.iq.tools that return types with arguments of type Variable

Modifier and Type	Method and Description
static it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	VariableCollector.collectVariables(List<QueryNode> nodes)

Uses of Variable in it.unibz.inf.ontop.iq.transform.impl

Fields in it.unibz.inf.ontop.iq.transform.impl with type parameters of type Variable

Modifier and Type	Field and Description
protected it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	NoNullValuesEnforcerImpl.NotNullTopVariablePropagator.nonNullVariables

Constructor parameters in it.unibz.inf.ontop.iq.transform.impl with type arguments of type Variable

Constructor and Description
NotNullTopVariablePropagator(IntermediateQueryFactory iqFactory, SubstitutionFactory substitutionFactory, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonNullVariables)

Uses of Variable in it.unibz.inf.ontop.iq.type.impl

Fields in it.unibz.inf.ontop.iq.type.impl declared as Variable

Modifier and Type	Field and Description
protected Variable	BasicUniqueTermTypeExtractor.TermTypeVariableVisitor.variable

Constructors in it.unibz.inf.ontop.iq.type.impl with parameters of type Variable

Constructor and Description
TermTypeVariableVisitor(Variable variable, UniqueTermTypeExtractor typeExtractor)

Uses of Variable in it.unibz.inf.ontop.model.atom

Methods in it.unibz.inf.ontop.model.atom that return Variable

Modifier and Type	Method and Description
Variable	DistinctVariableOnlyDataAtom.getTerm(int index)

Methods in it.unibz.inf.ontop.model.atom that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable>	DistinctVariableOnlyDataAtom.getArguments()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	DataAtom.getVariables()

Methods in it.unibz.inf.ontop.model.atom with parameters of type Variable

Modifier and Type	Method and Description
DistinctVariableOnlyDataAtom	AtomFactory.getDistinctQuadAtom(Variable subject, Variable property, Variable object, Variable namedGraph)
DistinctVariableOnlyDataAtom	AtomFactory.getDistinctTripleAtom(Variable subject, Variable property, Variable object)
DistinctVariableOnlyDataAtom	AtomFactory.getDistinctVariableOnlyDataAtom(AtomPredicate predicate, Variable... arguments)

Method parameters in it.unibz.inf.ontop.model.atom with type arguments of type Variable

Modifier and Type	Method and Description
DistinctVariableOnlyDataAtom	AtomFactory.getDistinctVariableOnlyDataAtom(AtomPredicate predicate, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable> arguments)

Uses of Variable in it.unibz.inf.ontop.model.atom.impl

Methods in it.unibz.inf.ontop.model.atom.impl that return Variable

Modifier and Type	Method and Description
Variable	DistinctVariableOnlyDataAtomImpl.getTerm(int index)

Methods in it.unibz.inf.ontop.model.atom.impl that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable>	DistinctVariableOnlyDataAtomImpl.getArguments()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	AbstractDataAtomImpl.getVariables()

Methods in it.unibz.inf.ontop.model.atom.impl with parameters of type Variable

Modifier and Type	Method and Description
DistinctVariableOnlyDataAtom	AtomFactoryImpl.getDistinctQuadAtom(Variable subject, Variable property, Variable object, Variable namedGraph)
DistinctVariableOnlyDataAtom	AtomFactoryImpl.getDistinctTripleAtom(Variable subject, Variable property, Variable object)
DistinctVariableOnlyDataAtom	AtomFactoryImpl.getDistinctVariableOnlyDataAtom(AtomPredicate predicate, Variable... arguments)

Method parameters in it.unibz.inf.ontop.model.atom.impl with type arguments of type Variable

Modifier and Type	Method and Description
DistinctVariableOnlyDataAtom	AtomFactoryImpl.getDistinctVariableOnlyDataAtom(AtomPredicate predicate, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable> arguments)

Constructors in it.unibz.inf.ontop.model.atom.impl with parameters of type Variable

Constructor and Description
DistinctVariableOnlyDataAtomImpl(AtomPredicate predicate, Variable... variables)

Constructor parameters in it.unibz.inf.ontop.model.atom.impl with type arguments of type Variable

Constructor and Description
DistinctVariableOnlyDataAtomImpl(AtomPredicate predicate, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable> variables)

Uses of Variable in it.unibz.inf.ontop.model.term

Methods in it.unibz.inf.ontop.model.term that return Variable

Modifier and Type	Method and Description
Variable	TermFactory.getVariable(String name) Construct a Variable object.

Methods in it.unibz.inf.ontop.model.term that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	FunctionalTermSimplification.getSimplifiableVariables()
Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm>>	ImmutableFunctionalTerm.FunctionalTermDecomposition.getSubTermSubstitutionMap() Contains the sub-terms that are not liftable.
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ImmutableFunctionalTerm.getVariables()
Stream<Variable>	ImmutableTerm.getVariableStream()
Stream<Variable>	ImmutableFunctionalTerm.proposeProvenanceVariables() Returns some variables are required to non-null for the functional term to be non-null.

Methods in it.unibz.inf.ontop.model.term with parameters of type Variable

Modifier and Type	Method and Description
ImmutableFunctionalTerm	TermFactory.getIRIFunctionalTerm(Variable variable, boolean temporaryCastToString) temporaryCastToString == true must only be used when dealing with PRE-PROCESSED mapping
ImmutableFunctionalTerm	TermFactory.getPartiallyDefinedToStringCast(Variable variable) Used when building (a fragment of) the lexical part of an RDF term (either the full lexical value or a fragment involved in a template) in a PRE-PROCESSED mapping assertion.

Method parameters in it.unibz.inf.ontop.model.term with type arguments of type Variable

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	ImmutableFunctionalTerm.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator) Returns an empty optional when no decomposition is possible In the decomposition, the liftable term is injective.
static FunctionalTermSimplification	FunctionalTermSimplification.create(ImmutableTerm simplifiedTerm, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> simplifiableVariables)
ImmutableFunctionalTerm.FunctionalTermDecomposition	TermFactory.getFunctionalTermDecomposition(ImmutableTerm liftableTerm, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm> subTermSubstitutionMap)
<T extends ImmutableTerm> ProtoSubstitution<T>	TermFactory.getProtoSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> map) Minimalist substitution with minimal dependencies.
boolean	ImmutableTerm.isNullable(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nullableVariables)

Uses of Variable in it.unibz.inf.ontop.model.term.functionsymbol

Methods in it.unibz.inf.ontop.model.term.functionsymbol that return types with arguments of type Variable

Modifier and Type	Method and Description
Optional<Variable>	FunctionSymbol.FunctionalTermNullability.getBoundVariable() When the nullability of a functional term is bound to the nullability of a variable
Stream<Variable>	FunctionSymbol.proposeProvenanceVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Returns some variables are required to non-null for the functional term to be non-null.

Method parameters in it.unibz.inf.ontop.model.term.functionsymbol with type arguments of type Variable

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	FunctionSymbol.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)

Uses of Variable in it.unibz.inf.ontop.model.term.functionsymbol.db.impl

Method parameters in it.unibz.inf.ontop.model.term.functionsymbol.db.impl with type arguments of type Variable

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	DefaultDBIfElseNullFunctionSymbol.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	AbstractDBConcatFunctionSymbol.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)

Uses of Variable in it.unibz.inf.ontop.model.term.functionsymbol.impl

Methods in it.unibz.inf.ontop.model.term.functionsymbol.impl that return types with arguments of type Variable

Modifier and Type	Method and Description
Stream<Variable>	RDFTermFunctionSymbolImpl.proposeProvenanceVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Looks at the lexical term for provenance variables
Stream<Variable>	FunctionSymbolImpl.proposeProvenanceVariables(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Conservative by default Can be overridden

Methods in it.unibz.inf.ontop.model.term.functionsymbol.impl with parameters of type Variable

Modifier and Type	Method and Description
protected DefinitionPushDownRequest	UnaryNumericSPARQLAggregationFunctionSymbolImpl.createNonNumericRequest(ImmutableTerm subTermTypeTerm, Variable nonNumericVariable, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<RDFTermType> nonNumericTypes, TermFactory termFactory)
protected DefinitionPushDownRequest	GroupConcatSPARQLFunctionSymbolImpl.createNonStrRequest(ImmutableTerm subTermTypeTerm, Variable nonStrVariable, TermFactory termFactory)

Method parameters in it.unibz.inf.ontop.model.term.functionsymbol.impl with type arguments of type Variable

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	FunctionSymbolImpl.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory) To be overridden when is sometimes but not always injective in the absence of non-injective functional terms
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	ConcatSPARQLFunctionSymbolImpl.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
protected ImmutableTerm	SumLikeSPARQLAggregationFunctionSymbolImpl.combineWithFollowingAggregates(int index, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable> orderedVariables, TermFactory termFactory, boolean isTop) Recursive
protected ImmutableFunctionalTerm.FunctionalTermDecomposition	FunctionSymbolImpl.decomposeInjectiveTopFunctionalTerm(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory) Only when injectivity of the top function symbol is proved!

Uses of Variable in it.unibz.inf.ontop.model.term.impl

Classes in it.unibz.inf.ontop.model.term.impl that implement Variable

Modifier and Type	Class and Description
class	VariableImpl

Methods in it.unibz.inf.ontop.model.term.impl that return Variable

Modifier and Type	Method and Description
Variable	TermFactoryImpl.getVariable(String name)

Methods in it.unibz.inf.ontop.model.term.impl that return types with arguments of type Variable

Modifier and Type	Method and Description
Optional<Variable>	FunctionalTermNullabilityImpl.getBoundVariable()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	SimpleProtoSubstitutionImpl.getDomain()
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T>	SimpleProtoSubstitutionImpl.getImmutableMap()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	FunctionalTermSimplificationImpl.getSimplifiableVariables()
Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm>>	FunctionalTermDecompositionImpl.getSubTermSubstitutionMap()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ImmutableFunctionalTermImpl.getVariables()
Stream<Variable>	NullConstantImpl.getVariableStream()
Stream<Variable>	BNodeConstantImpl.getVariableStream()
Stream<Variable>	IRIConstantImpl.getVariableStream()
Stream<Variable>	RDFTermTypeConstantImpl.getVariableStream()
Stream<Variable>	ImmutableFunctionalTermImpl.getVariableStream()
Stream<Variable>	RDFLiteralConstantImpl.getVariableStream()
Stream<Variable>	DBConstantImpl.getVariableStream()
Stream<Variable>	VariableImpl.getVariableStream()
Stream<Variable>	ImmutableFunctionalTermImpl.proposeProvenanceVariables()

Methods in it.unibz.inf.ontop.model.term.impl with parameters of type Variable

Modifier and Type	Method and Description
ImmutableTerm	SimpleProtoSubstitutionImpl.applyToVariable(Variable variable)
int	VariableImpl.compareTo(Variable other)
T	SimpleProtoSubstitutionImpl.get(Variable var)
ImmutableFunctionalTerm	TermFactoryImpl.getIRIFunctionalTerm(Variable variable, boolean temporaryCastToString)
ImmutableFunctionalTerm	TermFactoryImpl.getPartiallyDefinedToStringCast(Variable variable)
boolean	SimpleProtoSubstitutionImpl.isDefining(Variable variable)

Method parameters in it.unibz.inf.ontop.model.term.impl with type arguments of type Variable

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	ImmutableFunctionalTermImpl.analyzeInjectivity(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator)
ImmutableFunctionalTerm.FunctionalTermDecomposition	TermFactoryImpl.getFunctionalTermDecomposition(ImmutableTerm liftableTerm, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm> subTermSubstitutionMap)
<T extends ImmutableTerm> ProtoSubstitution<T>	TermFactoryImpl.getProtoSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> map)
boolean	NullConstantImpl.isNullable(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nullableVariables)
boolean	AbstractNonNullConstant.isNullable(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nullableVariables)
boolean	ImmutableFunctionalTermImpl.isNullable(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nullableVariables)
boolean	VariableImpl.isNullable(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nullableVariables)

Constructors in it.unibz.inf.ontop.model.term.impl with parameters of type Variable

Constructor and Description
FunctionalTermNullabilityImpl(Variable boundVariable)

Constructor parameters in it.unibz.inf.ontop.model.term.impl with type arguments of type Variable

Constructor and Description
FunctionalTermDecompositionImpl(ImmutableTerm injectiveTerm, it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm> subTermSubstitutionMap)
FunctionalTermSimplificationImpl(ImmutableTerm simplifiedTerm, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> simplifiableVariables)
SimpleProtoSubstitutionImpl(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,? extends T> substitutionMap, TermFactory termFactory)

Uses of Variable in it.unibz.inf.ontop.model.type

Methods in it.unibz.inf.ontop.model.type that return types with arguments of type Variable

Modifier and Type	Method and Description
Optional<Variable>	TermTypeInference.getRedirectionVariable() Only when the type cannot be determined locally but corresponds to the type of a variable (defined in the sub-tree)

Methods in it.unibz.inf.ontop.model.type with parameters of type Variable

Modifier and Type	Method and Description
static TermTypeInference	TermTypeInference.declareRedirectionToVariable(Variable variable)

Uses of Variable in it.unibz.inf.ontop.model.type.impl

Methods in it.unibz.inf.ontop.model.type.impl that return types with arguments of type Variable

Modifier and Type	Method and Description
Optional<Variable>	TermTypeInferenceImpl.getRedirectionVariable()

Methods in it.unibz.inf.ontop.model.type.impl with parameters of type Variable

Modifier and Type	Method and Description
static TermTypeInference	TermTypeInferenceImpl.declareRedirectionVariable(Variable variable)

Uses of Variable in it.unibz.inf.ontop.substitution

Methods in it.unibz.inf.ontop.substitution that return Variable

Modifier and Type	Method and Description
Variable	Var2VarSubstitution.applyToVariable(Variable variable)

Methods in it.unibz.inf.ontop.substitution that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ProtoSubstitution.getDomain()
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T>	ProtoSubstitution.getImmutableMap()

Methods in it.unibz.inf.ontop.substitution with parameters of type Variable

Modifier and Type	Method and Description
ImmutableTerm	ProtoSubstitution.applyToVariable(Variable variable) This method can be applied to simple variables
Variable	Var2VarSubstitution.applyToVariable(Variable variable)
T	ProtoSubstitution.get(Variable variable)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactory.getSubstitution(Variable k1, T v1)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactory.getSubstitution(Variable k1, T v1, Variable k2, T v2)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactory.getSubstitution(Variable k1, T v1, Variable k2, T v2, Variable k3, T v3)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactory.getSubstitution(Variable k1, T v1, Variable k2, T v2, Variable k3, T v3, Variable k4, T v4)
boolean	ProtoSubstitution.isDefining(Variable variable)

Method parameters in it.unibz.inf.ontop.substitution with type arguments of type Variable

Modifier and Type	Method and Description
Optional<InjectiveVar2VarSubstitution>	InjectiveVar2VarSubstitution.composeWithAndPreserveInjectivity(InjectiveVar2VarSubstitution otherSubstitution, Set<Variable> variablesToExcludeFromTheDomain) { (x,y) | (x,y) \in (this o otherSubstitution), x not excluded } Returns Optional.empty() when the resulting substitution is not injective (anymore).
InjectiveVar2VarSubstitution	SubstitutionFactory.generateNotConflictingRenaming(VariableGenerator variableGenerator, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables)
InjectiveVar2VarSubstitution	SubstitutionFactory.getInjectiveVar2VarSubstitution(Map<Variable,Variable> substitutionMap)
InjectiveVar2VarSubstitution	SubstitutionFactory.getInjectiveVar2VarSubstitution(Map<Variable,Variable> substitutionMap)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactory.getSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> newSubstitutionMap)
Var2VarSubstitution	SubstitutionFactory.getVar2VarSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)
Var2VarSubstitution	SubstitutionFactory.getVar2VarSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)
ImmutableSubstitution<T>	ImmutableSubstitution.orientate(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable> priorityVariables) Returns a "similar" substitution that avoids (if possible) to substitute certain variables.
InjectiveVar2VarSubstitution	InjectiveVar2VarSubstitution.reduceDomainToIntersectionWith(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> restrictingDomain)
ImmutableSubstitution<T>	ImmutableSubstitution.reduceDomainToIntersectionWith(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> restrictingDomain) Reduces the substitution's domain to its intersection with the argument domain

Uses of Variable in it.unibz.inf.ontop.substitution.impl

Methods in it.unibz.inf.ontop.substitution.impl that return Variable

Modifier and Type	Method and Description
Variable	Var2VarSubstitutionImpl.applyToVariable(Variable variable)
Variable	Var2VarSubstitutionImpl.get(Variable var)

Methods in it.unibz.inf.ontop.substitution.impl that return types with arguments of type Variable

Modifier and Type	Method and Description
protected Stream<Map.Entry<Variable,Variable>>	Var2VarSubstitutionImpl.composeRenaming(Var2VarSubstitution g)
protected Stream<Map.Entry<Variable,Variable>>	Var2VarSubstitutionImpl.composeRenaming(Var2VarSubstitution g)
protected Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T>>	AbstractImmutableSubstitutionImpl.computeUnionMap(ImmutableSubstitution<T> otherSubstitution) In case some sub-classes wants to add a new unionXX method returning an optional in their own type.
protected ImmutableSubstitution<Variable>	Var2VarSubstitutionImpl.constructNewSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> map)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	Var2VarSubstitutionImpl.getDomain()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	ImmutableSubstitutionImpl.getDomain()
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable>	Var2VarSubstitutionImpl.getImmutableMap()
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable>	Var2VarSubstitutionImpl.getImmutableMap()
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T>	ImmutableSubstitutionImpl.getImmutableMap()

Methods in it.unibz.inf.ontop.substitution.impl with parameters of type Variable

Modifier and Type	Method and Description
Variable	Var2VarSubstitutionImpl.applyToVariable(Variable variable)
ImmutableTerm	ImmutableSubstitutionImpl.applyToVariable(Variable variable)
Variable	Var2VarSubstitutionImpl.get(Variable var)
T	ImmutableSubstitutionImpl.get(Variable var)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactoryImpl.getSubstitution(Variable k1, T v1)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactoryImpl.getSubstitution(Variable k1, T v1, Variable k2, T v2)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactoryImpl.getSubstitution(Variable k1, T v1, Variable k2, T v2, Variable k3, T v3)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactoryImpl.getSubstitution(Variable k1, T v1, Variable k2, T v2, Variable k3, T v3, Variable k4, T v4)
boolean	Var2VarSubstitutionImpl.isDefining(Variable variable)
boolean	ImmutableSubstitutionImpl.isDefining(Variable variable)

Method parameters in it.unibz.inf.ontop.substitution.impl with type arguments of type Variable

Modifier and Type	Method and Description
Optional<InjectiveVar2VarSubstitution>	InjectiveVar2VarSubstitutionImpl.composeWithAndPreserveInjectivity(InjectiveVar2VarSubstitution g, Set<Variable> variablesToExcludeFromTheDomain)
protected abstract ImmutableSubstitution<T>	AbstractImmutableSubstitutionImpl.constructNewSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> map)
protected ImmutableSubstitution<T>	ImmutableSubstitutionImpl.constructNewSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> map)
protected ImmutableSubstitution<Variable>	Var2VarSubstitutionImpl.constructNewSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> map)
protected ImmutableSubstitution<Variable>	Var2VarSubstitutionImpl.constructNewSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> map)
InjectiveVar2VarSubstitution	SubstitutionFactoryImpl.generateNotConflictingRenaming(VariableGenerator variableGenerator, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables) Non-conflicting variable: - initial variable of the variable set not known by the generator - or a fresh variable generated by the generator NOT PRESENT in the variable set
InjectiveVar2VarSubstitution	SubstitutionFactoryImpl.getInjectiveVar2VarSubstitution(Map<Variable,Variable> substitutionMap)
InjectiveVar2VarSubstitution	SubstitutionFactoryImpl.getInjectiveVar2VarSubstitution(Map<Variable,Variable> substitutionMap)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactoryImpl.getSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> newSubstitutionMap)
Var2VarSubstitution	SubstitutionFactoryImpl.getVar2VarSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)
Var2VarSubstitution	SubstitutionFactoryImpl.getVar2VarSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)
static boolean	IndempotentVar2VarSubstitutionImpl.isIndempotent(Map<Variable,Variable> substitutionMap) Returns true if there is common variables in the domain and the range of the substitution map.
static boolean	IndempotentVar2VarSubstitutionImpl.isIndempotent(Map<Variable,Variable> substitutionMap) Returns true if there is common variables in the domain and the range of the substitution map.
ImmutableSubstitution<T>	AbstractImmutableSubstitutionImpl.orientate(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable> priorityVariables)
<T extends ImmutableTerm> ImmutableSubstitution<T>	ImmutableSubstitutionTools.prioritizeRenaming(ImmutableSubstitution<T> substitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> priorityVariables) Prevents priority variables to be renamed into non-priority variables.
InjectiveVar2VarSubstitution	InjectiveVar2VarSubstitutionImpl.reduceDomainToIntersectionWith(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> restrictingDomain)
ImmutableSubstitution<T>	AbstractImmutableSubstitutionImpl.reduceDomainToIntersectionWith(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> restrictingDomain)

Constructor parameters in it.unibz.inf.ontop.substitution.impl with type arguments of type Variable

Constructor and Description
ImmutableSubstitutionImpl(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,? extends T> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory)
IndempotentVar2VarSubstitutionImpl(Map<Variable,Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory)
IndempotentVar2VarSubstitutionImpl(Map<Variable,Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory)
InjectiveVar2VarSubstitutionImpl(Map<Variable,Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory) Regular constructor
InjectiveVar2VarSubstitutionImpl(Map<Variable,Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory) Regular constructor
Var2VarSubstitutionImpl(Map<Variable,? extends Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory) Regular constructor
Var2VarSubstitutionImpl(Map<Variable,? extends Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory) Regular constructor

Uses of Variable in it.unibz.inf.ontop.utils

Methods in it.unibz.inf.ontop.utils that return Variable

Modifier and Type	Method and Description
Variable	VariableGenerator.generateNewVariable() Generates a new non-conflicting variable.
Variable	VariableGenerator.generateNewVariable(String suggestedString) Creates a variable with the suggested string if no conflict is detected.
Variable	VariableGenerator.generateNewVariableFromVar(Variable previousVariable) Registers the previous variable and creates a new non-conflicting one by reusing (part of) its name
Variable	VariableGenerator.generateNewVariableIfConflicting(Variable previousVariable) Generates a new variable if a conflict is detected.

Methods in it.unibz.inf.ontop.utils that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	VariableGenerator.getKnownVariables()

Methods in it.unibz.inf.ontop.utils with parameters of type Variable

Modifier and Type	Method and Description
Variable	VariableGenerator.generateNewVariableFromVar(Variable previousVariable) Registers the previous variable and creates a new non-conflicting one by reusing (part of) its name
Variable	VariableGenerator.generateNewVariableIfConflicting(Variable previousVariable) Generates a new variable if a conflict is detected.

Method parameters in it.unibz.inf.ontop.utils with type arguments of type Variable

Modifier and Type	Method and Description
DummyVariableNullability	CoreUtilsFactory.createDummyVariableNullability(Stream<Variable> variables) Variables are considered as separately nullable
VariableNullability	CoreUtilsFactory.createEmptyVariableNullability(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> scope)
VariableGenerator	CoreUtilsFactory.createVariableGenerator(Collection<Variable> knownVariables)
VariableNullability	CoreUtilsFactory.createVariableNullability(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> nullableGroups, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> scope)
VariableNullability	CoreUtilsFactory.createVariableNullability(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>> nullableGroups, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> scope)
void	VariableGenerator.registerAdditionalVariables(Collection<Variable> additionalVariables) Declares additional variables as known.

Uses of Variable in it.unibz.inf.ontop.utils.impl

Methods in it.unibz.inf.ontop.utils.impl that return Variable

Modifier and Type	Method and Description
Variable	VariableGeneratorImpl.generateNewVariable()
Variable	LegacyVariableGenerator.generateNewVariable()
Variable	VariableGeneratorImpl.generateNewVariable(String suggestedString)
Variable	LegacyVariableGenerator.generateNewVariable(String suggestedString)
Variable	VariableGeneratorImpl.generateNewVariableFromVar(Variable previousVariable)
Variable	LegacyVariableGenerator.generateNewVariableFromVar(Variable previousVariable)
Variable	VariableGeneratorImpl.generateNewVariableIfConflicting(Variable previousVariable)
Variable	LegacyVariableGenerator.generateNewVariableIfConflicting(Variable previousVariable)

Methods in it.unibz.inf.ontop.utils.impl that return types with arguments of type Variable

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	VariableGeneratorImpl.getKnownVariables()
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	LegacyVariableGenerator.getKnownVariables()

Methods in it.unibz.inf.ontop.utils.impl with parameters of type Variable

Modifier and Type	Method and Description
Variable	VariableGeneratorImpl.generateNewVariableFromVar(Variable previousVariable)
Variable	LegacyVariableGenerator.generateNewVariableFromVar(Variable previousVariable)
Variable	VariableGeneratorImpl.generateNewVariableIfConflicting(Variable previousVariable)
Variable	LegacyVariableGenerator.generateNewVariableIfConflicting(Variable previousVariable)

Method parameters in it.unibz.inf.ontop.utils.impl with type arguments of type Variable

Modifier and Type	Method and Description
void	VariableGeneratorImpl.registerAdditionalVariables(Collection<Variable> additionalVariables)
void	LegacyVariableGenerator.registerAdditionalVariables(Collection<Variable> additionalVariables)

Constructor parameters in it.unibz.inf.ontop.utils.impl with type arguments of type Variable

Constructor and Description
VariableGeneratorImpl(Collection<Variable> knownVariables, TermFactory termFactory) TODO: please use as much as possible the assisted inject pattern