/// <param name="variableTranslation">Translation of non-bound variables in the context.</param>
/// <param name="variableConstructor">
/// Function that constructs a Variable term given the integer id and whether it is bound
/// or not.
/// </param>
/// <param name="shiftFixedVar">Indicate whether non-bound variables should be shifted.</param>
public DeBruijnTranslation(IFixedVariableTranslation <T> variableTranslation,
Func <int, bool, Term> variableConstructor, bool shiftFixedVar)
{
this.variableTranslation = variableTranslation;
this.variableConstructor = variableConstructor;
this.shiftFixedVar = shiftFixedVar;
}
public BoogieFixedVarTranslation(
IFixedVariableTranslation <Variable> variableTranslation,
IFixedVariableTranslation <TypeVariable> tyVariableTranslation)
{
VariableTranslation = variableTranslation;
TyVariableTranslation = tyVariableTranslation;
}
public DeBruijnVarFactory(
IFixedVariableTranslation <Variable> varTranslation,
DeBruijnFixedTVarTranslation tvarTranslation,
BoogieGlobalData boogieGlobalData)
{
this.varTranslation = varTranslation;
this.tvarTranslation = tvarTranslation;
globalData = boogieGlobalData;
}
