faudes::BisimulationCTA::State Struct Reference

Detailed Description

Definition at line 91 of file cfl_bisimcta.cpp.

Public Attributes
Idx	id
std::vector< std::vector< Idx > >	suc
std::vector< Idx >	pre
std::vector< std::set< Idx > >	cafter
std::vector< Idx >	evs
Idx	c = 0
std::vector< Idx >	taupre

Member Data Documentation

c

Idx faudes::BisimulationCTA::State::c = 0

Definition at line 97 of file cfl_bisimcta.cpp.

cafter

std::vector< std::set<Idx> > faudes::BisimulationCTA::State::cafter

Definition at line 95 of file cfl_bisimcta.cpp.

evs

std::vector< Idx > faudes::BisimulationCTA::State::evs

Definition at line 96 of file cfl_bisimcta.cpp.

id

Idx faudes::BisimulationCTA::State::id

Definition at line 92 of file cfl_bisimcta.cpp.

pre

std::vector< Idx > faudes::BisimulationCTA::State::pre

Definition at line 94 of file cfl_bisimcta.cpp.

suc

std::vector< std::vector<Idx> > faudes::BisimulationCTA::State::suc

Definition at line 93 of file cfl_bisimcta.cpp.

taupre

std::vector< Idx > faudes::BisimulationCTA::State::taupre

Definition at line 101 of file cfl_bisimcta.cpp.

---

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

• cfl_bisimcta.cpp