spot
1.0.2
|
#include <tgba/bdddict.hh>
Public Member Functions | |
bdd_info () |
Public Attributes | |
var_type | type |
const ltl::formula * | f |
ref_set | refs |
int | clone_counts |
|
inline |
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 |