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

Quelle  dt.h   Sprache: unbekannt

 
/****************************************************************************
**
**  This file is part of GAP, a system for computational discrete algebra.
**
**  Copyright of GAP belongs to its developers, whose names are too numerous
**  to list here. Please refer to the COPYRIGHT file for details.
**
**  SPDX-License-Identifier: GPL-2.0-or-later
**
**  This file implements the part of the deep thought package which deals
**  with computing the deep thought polynomials. See dt.c for further
**  information.
*/


#ifndef GAP_DT_H
#define GAP_DT_H

#include "common.h"


/****************************************************************************
**
*F * * * * * * * * * * * * * initialize module * * * * * * * * * * * * * * *
*/



/****************************************************************************
**
*F  InitInfoDeepThought() . . . . . . . . . . . . . . table of init functions
*/

StructInitInfo * InitInfoDeepThought ( void );


#endif // GAP_DT_H

100%


[ Dauer der Verarbeitung: 0.27 Sekunden  (vorverarbeitet)  ]