DDD 1.9.0.20250409152518
DED.h
Go to the documentation of this file.
1/****************************************************************************/
2/* */
3/* This file is part of libDDD, a library for manipulation of DDD and SDD. */
4/* */
5/* Copyright (C) 2001-2008 Yann Thierry-Mieg, Jean-Michel Couvreur */
6/* and Denis Poitrenaud */
7/* */
8/* This program is free software; you can redistribute it and/or modify */
9/* it under the terms of the GNU Lesser General Public License as */
10/* published by the Free Software Foundation; either version 3 of the */
11/* License, or (at your option) any later version. */
12/* This program is distributed in the hope that it will be useful, */
13/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
14/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
15/* GNU LEsserGeneral Public License for more details. */
16/* */
17/* You should have received a copy of the GNU Lesser General Public License */
18/* along with this program; if not, write to the Free Software */
19/*Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */
20/* */
21/****************************************************************************/
22
23/* -*- C++ -*- */
24#ifndef DED_H
25#define DED_H
26
27#include <set>
28#include "ddd/DDD.h"
29#include "ddd/Hom.h"
31
32class _DED;
33class GDDD;
34class GHom;
35
36/******************************************************************************/
37namespace DED {
39
40 /* Memory Manager */
41 unsigned int statistics();
42 void pstats(bool reinit=true);
43 size_t peak();
44 void garbage();
45};
46
47
48#ifdef EVDDD
49GHom pushEVDDD(int v);
50#endif
51
52#endif
53
54
55
56
57
58
This class is the base class representing a Data Decision Diagram.
Definition DDD.h:49
This class is the base class representing a homomorphism over DDD.
Definition Hom.h:55
Definition DED.cpp:73
Definition DED.cpp:612
size_t peak()
Definition DED.cpp:614
void garbage()
Definition DED.cpp:620
unsigned int statistics()
Definition DED.cpp:573
void pstats(bool reinit=true)
Definition DED.cpp:577
GDDD add(const std::set< GDDD > &s)
Definition DED.cpp:636
std::set< Key, Compare, Allocator > type
Definition set.hh:18

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Apr 9 2025 15:27:42 for DDD by doxygen 1.9.8