giaNewBdd.h File Reference

#include <cstdlib>
#include <limits>
#include <vector>
#include <iostream>
#include <iomanip>
#include <cmath>

Include dependency graph for giaNewBdd.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	NewBdd::Cache
struct	NewBdd::Param
class	NewBdd::Man

Namespaces
namespace	NewBdd

Typedefs
typedef unsigned short	NewBdd::var
typedef int	NewBdd::bvar
typedef unsigned	NewBdd::lit
typedef unsigned short	NewBdd::ref
typedef unsigned long long	NewBdd::size
typedef unsigned	NewBdd::edge
typedef unsigned	NewBdd::uniq
typedef unsigned	NewBdd::cac