it.unibz.inf.ontop.iq.node

Interface VariableNullability

All Known Subinterfaces:

DummyVariableNullability

All Known Implementing Classes:

DummyVariableNullabilityImpl, VariableNullabilityImpl

public interface VariableNullability

TODO: find a better name IMMUTABLE See CoreUtilsFactory for creating new instances

Method Summary

Modifier and Type	Method and Description
VariableNullability	applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)
boolean	canPossiblyBeNullSeparately(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Generalization to arbitrary terms
boolean	canPossiblyBeNullSeparately(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.
com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>>	getNullableGroups() All the variables of a group are always null at the same time (guaranteed).
default com.google.common.collect.ImmutableSet<Variable>	getNullableVariables()
boolean	isPossiblyNullable(Variable variable) NB: for variables outside its scope, returns true (as it does not know anything about them)
VariableNullability	update(ImmutableSubstitution<? extends ImmutableTerm> substitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables)

Method Detail

isPossiblyNullable

boolean isPossiblyNullable(Variable variable)

NB: for variables outside its scope, returns true (as it does not know anything about them)

canPossiblyBeNullSeparately

boolean canPossiblyBeNullSeparately(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.

canPossiblyBeNullSeparately

boolean canPossiblyBeNullSeparately(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)

Generalization to arbitrary terms

getNullableGroups

com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> getNullableGroups()

All the variables of a group are always null at the same time (guaranteed).

update

VariableNullability update(ImmutableSubstitution<? extends ImmutableTerm> substitution,
                           com.google.common.collect.ImmutableSet<Variable> projectedVariables)

applyFreshRenaming

VariableNullability applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)

getNullableVariables

default com.google.common.collect.ImmutableSet<Variable> getNullableVariables()