rrr::NewBdd Namespace Reference

Classes
class	Cache
class	Man
struct	Param

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

Typedef Documentation

bvar

typedef int rrr::NewBdd::bvar

Definition at line 16 of file rrrBddManager.h.

cac

typedef unsigned rrr::NewBdd::cac

Definition at line 22 of file rrrBddManager.h.

edge

typedef unsigned rrr::NewBdd::edge

Definition at line 20 of file rrrBddManager.h.

lit

typedef unsigned rrr::NewBdd::lit

Definition at line 17 of file rrrBddManager.h.

ref

typedef unsigned short rrr::NewBdd::ref

Definition at line 18 of file rrrBddManager.h.

size

typedef unsigned long long rrr::NewBdd::size

Definition at line 19 of file rrrBddManager.h.

uniq

typedef unsigned rrr::NewBdd::uniq

Definition at line 21 of file rrrBddManager.h.

var

typedef unsigned short rrr::NewBdd::var

Definition at line 15 of file rrrBddManager.h.