Classes | |
class | backward_iterator |
class | forward_iterator |
class | DeltaConstIterator |
Iterators use to iterate over subsets of successor/predecessor states or transitions. More... | |
class | Graph |
Graph. More... | |
Namespaces | |
namespace | deltaf_helper |
Functions | |
template<class Kind, class WordValue, class WeightValue, class SerieValue, class Letter, class Tag, class GeometryCoords, class I> | |
Tag & | op_tag (const AutomataBase< I > &, Graph< Kind, WordValue, WeightValue, SerieValue, Letter, Tag, GeometryCoords > &) |
template<class Kind, class WordValue, class WeightValue, class SerieValue, class Letter, class Tag, class GeometryCoords, class I> | |
const Tag & | op_tag (const AutomataBase< I > &, const Graph< Kind, WordValue, WeightValue, SerieValue, Letter, Tag, GeometryCoords > &) |
template<class Kind, class WordValue, class WeightValue, class SeriesValue, class Letter, class Tag, class GeometryCoords, class I> | |
Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords >::geometry_t & | op_geometry (const AutomataBase< I > &, Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > &v) |
template<class Kind, class WordValue, class WeightValue, class SeriesValue, class Letter, class Tag, class GeometryCoords, class I> | |
const Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords >::geometry_t & | op_geometry (const AutomataBase< I > &, const Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > &v) |