spot
0.9.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
Directories
Class List
Class Hierarchy
Class Members
spot
bdd_dict
bdd_info
Public Member Functions
|
Public Attributes
spot::bdd_dict::bdd_info Struct Reference
#include <
tgba/bdddict.hh
>
Collaboration diagram for spot::bdd_dict::bdd_info:
[
legend
]
List of all members.
Public Member Functions
bdd_info
()
Public Attributes
var_type
type
const
ltl::formula
*
f
ref_set
refs
int
clone_counts
Constructor & Destructor Documentation
spot::bdd_dict::bdd_info::bdd_info
(
)
[inline]
Member Data Documentation
int
spot::bdd_dict::bdd_info::clone_counts
const
ltl::formula
*
spot::bdd_dict::bdd_info::f
ref_set
spot::bdd_dict::bdd_info::refs
var_type
spot::bdd_dict::bdd_info::type
The documentation for this struct was generated from the following file:
tgba/
bdddict.hh
Please
comment
this page and
report errors
about it on
the RefDocComments page
.
Generated on Wed May 23 2012 12:06:46 for spot by
1.7.6.1