spot::fm_edge Struct Reference

A single successor edge from a formula-state. More...

#include <spot/twaalgos/ltl2tgba_fm.hh>

Collaboration diagram for spot::fm_edge:

Public Attributes
bdd	cond
	Condition on atomic propositions. More...
formula	dst
	Destination formula-state. More...
acc_cond::mark_t	acc

Detailed Description

A single successor edge from a formula-state.

Member Data Documentation

acc

acc_cond::mark_t spot::fm_edge::acc

Acceptance marks, using negated-Inf semantics; see Acceptance condition semantics for details.

cond

bdd spot::fm_edge::cond

Condition on atomic propositions.

dst

formula spot::fm_edge::dst

Destination formula-state.

---

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

• spot/twaalgos/ltl2tgba_fm.hh