public string ReserveVariableName(string varName) { validDefinedStepBuilder.ReserveVariableName(varName); validUndefinedStepBuilder.ReserveVariableName(varName); return(getNextStateBuilder.ReserveVariableName(varName)); }
public Expression ReserveVariableName(string varName, Type ty) { validStepBuilder.ReserveVariableName(varName, ty); crashAvoidanceBuilder.ReserveVariableName(varName, ty); return(getNextStateBuilder.ReserveVariableName(varName, ty)); }