products/Sources/formale Sprachen/Cobol/Test-Suite/SQL M/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: strategies4Q.pvs   Sprache: Unknown

% Interval strategies for rational expressions

strategies4Q : THEORY
BEGIN

  IMPORTING simple_bandb,
            numerical_bandb,
            interval_bandb,
            interval_io,
     interval_expr_sqrt,
      reals@abs_lems

  %% This constant is used by the strategies to check if all the required theories 
  %% have been imported in the current context

  IntervalStrategies4Q__ : Unit

END strategies4Q

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]