|
Classes |
| struct | update_label< InitialValue< HState, Series > > |
| struct | update_hlabel |
| struct | EdgeValue |
| struct | succ |
| struct | pred |
| struct | src |
| struct | dst |
| struct | SuccessorKey |
| struct | PredecessorKey |
| struct | SourceAndLabel |
| struct | DestinationAndLabel |
| struct | Source |
| struct | Destination |
| struct | GraphContainer |
| struct | InitialContainer |
| struct | InitialValue |
| class | DeltaConstIterator |
| | Iterators use to iterate over subsets of successor/predecessor states or transitions. More...
|
| class | VGraphContainerIterator |
| class | VGraphContainer |
| class | Graph |
| class | Graph< labels_are_letters, WordValue, bool, SeriesValue, Letter, Tag, GeometryCoords > |
Namespaces |
| namespace | deltaf_helper |
Functions |
|
template<typename Graph> |
| | BMIG_DCI (hstate_t, src) |
|
template<typename Graph> |
| | BMIG_DCI (hstate_t, dst) |
|
template<typename Graph, typename T> |
| | BMIG_DCI (htransition_t, T) |
|
template<class Kind, class WordValue, class WeightValue, class SerieValue, class Letter, class Tag, class GeometryCoords, class I> |
| Tag & | op_tag (const AutomataBase< I > &, BMIGRAPH &) |
|
template<class Kind, class WordValue, class WeightValue, class SerieValue, class Letter, class Tag, class GeometryCoords, class I> |
| BMIGRAPH::geometry_t & | op_geometry (const AutomataBase< I > &, BMIGRAPH &) |
|
template<class Kind, class WordValue, class WeightValue, class SerieValue, class Letter, class Tag, class GeometryCoords, class I> |
| const BMIGRAPH::geometry_t & | op_geometry (const AutomataBase< I > &, const BMIGRAPH &) |