Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/algebra/pvsbin/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 7.10.2014 mit Größe 251 kB image not shown  

Quelle  Finalize.gd   Sprache: unbekannt

 
# SPDX-License-Identifier: GPL-2.0-or-later
# CAP: Categories, Algorithms, Programming
#
# Declarations
#
#! @Chapter Finalize

DeclareAttribute( "IsFinalized",
                  IsCapCategory,
                  "mutable" );

DeclareOperation( "Finalize",
                  [ IsCapCategory ] );

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]