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 &) |