spot::bdd_dict::bdd_info Struct Reference

Information stored for one BDD variable. More...

#include <spot/twa/bdddict.hh>

Collaboration diagram for spot::bdd_dict::bdd_info:

Public Attributes
var_type	type
	Type of this BDD variable. More...
formula	f
	Formula encoded (unused when type==anon). More...
ref_set	refs
	Set of objects referencing this variable. More...

Detailed Description

Information stored for one BDD variable.

Holds the type of the variable, the formula it encodes (if any), and the set of objects that currently reference it.

Member Data Documentation

f

formula spot::bdd_dict::bdd_info::f

Formula encoded (unused when type==anon).

refs

ref_set spot::bdd_dict::bdd_info::refs

Set of objects referencing this variable.

type

var_type spot::bdd_dict::bdd_info::type

Type of this BDD variable.

---

The documentation for this struct was generated from the following file:

• spot/twa/bdddict.hh