Package it.unibz.inf.ontop.iq.optimizer.impl.lj

Class AbstractJoinTransferLJTransformer.RenamingAndEqualities

java.lang.Object

it.unibz.inf.ontop.iq.optimizer.impl.lj.AbstractJoinTransferLJTransformer.RenamingAndEqualities

Enclosing class:

AbstractJoinTransferLJTransformer

protected static class AbstractJoinTransferLJTransformer.RenamingAndEqualities
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ImmutableExpression>	equalities
InjectiveVar2VarSubstitution	renamingSubstitution

Method Summary

Modifier and Type	Method	Description
static AbstractJoinTransferLJTransformer.RenamingAndEqualities	extract(Stream<it.unibz.inf.ontop.com.google.common.collect.ImmutableMultimap<? extends VariableOrGroundTerm,Variable>> replacementStream, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> leftVariables, TermFactory termFactory, SubstitutionFactory substitutionFactory)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

renamingSubstitution

public final InjectiveVar2VarSubstitution renamingSubstitution

equalities

public final it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<ImmutableExpression> equalities

Method Detail

extract

public static AbstractJoinTransferLJTransformer.RenamingAndEqualities extract(Stream<it.unibz.inf.ontop.com.google.common.collect.ImmutableMultimap<? extends VariableOrGroundTerm,Variable>> replacementStream,
                                                                              it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> leftVariables,
                                                                              TermFactory termFactory,
                                                                              SubstitutionFactory substitutionFactory)