DDD 1.9.0.20250409152518
SDED.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 SDED_H
25#define SDED_H
26
27#include <map>
28#include "ddd/util/set.hh"
29
30#include "ddd/DataSet.h"
32
33class GSDD;
34
35/******************************************************************************/
36namespace SDED{
38
39 /* Memory Manager */
40 unsigned int statistics();
41 void pstats(bool reinit=true);
42 size_t peak();
43 void garbage();
44};
45
46
47// Library internal: square_union (cf FORTE'05)
48void
49square_union (std::map<GSDD,DataSet *> &res,const GSDD & s, DataSet* d);
50
51#ifdef EVDDD
52GShom pushEVSDD(int v);
53#endif
54
55#endif
56
void square_union(std::map< GSDD, DataSet * > &res, const GSDD &s, DataSet *d)
Definition SDED.cpp:103
This class is an abstraction of a set of data.
Definition DataSet.h:44
This class is the base class representing a hierarchical Set Decision Diagram.
Definition SDD.h:49
This class is the base class for Homomorphisms over SDD.
Definition SHom.h:57
Definition SDED.h:36
void pstats(bool reinit=true)
Definition SDED.cpp:673
unsigned int statistics()
Definition SDED.cpp:668
size_t peak()
Definition SDED.cpp:688
void garbage()
Definition SDED.cpp:694
GSDD add(const d3::set< GSDD >::type &)
Definition SDED.cpp:707
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