Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

bddprint.hh File Reference

#include <string>
#include <iosfwd>
#include "bdddict.hh"
#include <bdd.h>

Include dependency graph for bddprint.hh:

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

Go to the source code of this file.

Namespaces

namespace  spot

Functions

std::ostream & bdd_print_sat (std::ostream &os, const bdd_dict *dict, bdd b)
 Print a BDD as a list of literals.
std::string bdd_format_sat (const bdd_dict *dict, bdd b)
 Format a BDD as a list of literals.
std::ostream & bdd_print_acc (std::ostream &os, const bdd_dict *dict, bdd b)
 Print a BDD as a list of acceptance conditions.
std::ostream & bdd_print_accset (std::ostream &os, const bdd_dict *dict, bdd b)
 Print a BDD as a set of acceptance conditions.
std::string bdd_format_accset (const bdd_dict *dict, bdd b)
 Format a BDD as a set of acceptance conditions.
std::ostream & bdd_print_set (std::ostream &os, const bdd_dict *dict, bdd b)
 Print a BDD as a set.
std::string bdd_format_set (const bdd_dict *dict, bdd b)
 Format a BDD as a set.
std::ostream & bdd_print_formula (std::ostream &os, const bdd_dict *dict, bdd b)
 Print a BDD as a formula.
std::string bdd_format_formula (const bdd_dict *dict, bdd b)
 Format a BDD as a formula.
std::ostream & bdd_print_dot (std::ostream &os, const bdd_dict *dict, bdd b)
 Print a BDD as a diagram in dotty format.
std::ostream & bdd_print_table (std::ostream &os, const bdd_dict *dict, bdd b)
 Print a BDD as a table.


Function Documentation

std::string bdd_format_accset const bdd_dict *  dict,
bdd  b
 

Format a BDD as a set of acceptance conditions.

This is used when saving a TGBA.

Parameters:
dict The dictionary to use, to lookup variables.
b The BDD to print.
Returns:
The BDD formated as a string.

std::string bdd_format_formula const bdd_dict *  dict,
bdd  b
 

Format a BDD as a formula.

Parameters:
dict The dictionary to use, to lookup variables.
b The BDD to print.
Returns:
The BDD formated as a string.

std::string bdd_format_sat const bdd_dict *  dict,
bdd  b
 

Format a BDD as a list of literals.

This assumes that b is a conjunction of literals.

Parameters:
dict The dictionary to use, to lookup variables.
b The BDD to print.
Returns:
The BDD formated as a string.

std::string bdd_format_set const bdd_dict *  dict,
bdd  b
 

Format a BDD as a set.

Parameters:
dict The dictionary to use, to lookup variables.
b The BDD to print.
Returns:
The BDD formated as a string.

std::ostream& bdd_print_acc std::ostream &  os,
const bdd_dict *  dict,
bdd  b
 

Print a BDD as a list of acceptance conditions.

This is used when saving a TGBA.

Parameters:
os The output stream.
dict The dictionary to use, to lookup variables.
b The BDD to print.
Returns:
The BDD formated as a string.

std::ostream& bdd_print_accset std::ostream &  os,
const bdd_dict *  dict,
bdd  b
 

Print a BDD as a set of acceptance conditions.

This is used when saving a TGBA.

Parameters:
os The output stream.
dict The dictionary to use, to lookup variables.
b The BDD to print.
Returns:
The BDD formated as a string.

std::ostream& bdd_print_dot std::ostream &  os,
const bdd_dict *  dict,
bdd  b
 

Print a BDD as a diagram in dotty format.

Parameters:
os The output stream.
dict The dictionary to use, to lookup variables.
b The BDD to print.

std::ostream& bdd_print_formula std::ostream &  os,
const bdd_dict *  dict,
bdd  b
 

Print a BDD as a formula.

Parameters:
os The output stream.
dict The dictionary to use, to lookup variables.
b The BDD to print.

std::ostream& bdd_print_sat std::ostream &  os,
const bdd_dict *  dict,
bdd  b
 

Print a BDD as a list of literals.

This assumes that b is a conjunction of literals.

Parameters:
os The output stream.
dict The dictionary to use, to lookup variables.
b The BDD to print.

std::ostream& bdd_print_set std::ostream &  os,
const bdd_dict *  dict,
bdd  b
 

Print a BDD as a set.

Parameters:
os The output stream.
dict The dictionary to use, to lookup variables.
b The BDD to print.

std::ostream& bdd_print_table std::ostream &  os,
const bdd_dict *  dict,
bdd  b
 

Print a BDD as a table.

Parameters:
os The output stream.
dict The dictionary to use, to lookup variables.
b The BDD to print.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:54:54 2005 for spot by doxygen 1.4.0