example.cpp File Reference

A minimalistic BDD library, following Bryant's original paper and Andersen's lecture notes. More...

#include "miniBDD.h"
#include <iostream>

Include dependency graph for example.cpp:

Go to the source code of this file.

Functions
int	main ()

Detailed Description

A minimalistic BDD library, following Bryant's original paper and Andersen's lecture notes.

Definition in file example.cpp.

Function Documentation

main()

int main

(

)

Definition at line 18 of file example.cpp.