Index   Zurück   Fenster schliessen	ordinary_fixed_point_definition ordinary_fixed_point_definition ::= delta static_expression real_range_specification siehe LRM 3.5.9 wird genutzt von: fixed_point_definition