Cvcsn::detail::filter_automaton_impl< Aut >::all_states_p | |
Cvcsn::detail::mutable_automaton_impl< Context >::all_states_p | Accept all the states |
Cvcsn::detail::filter_automaton_impl< Aut >::all_transitions_p | |
Cvcsn::detail::mutable_automaton_impl< Context >::all_transitions_p | |
Cvcsn::detail::and_< F > | And condition on several typenames |
Cvcsn::are_isomorphicer< Aut1, Aut2 > | |
Cvcsn::as_pair | |
Cvcsn::as_tuple | |
Cvcsn::rat::expressionset_impl< Context >::as_tupleset_impl< Sequence > | |
Cvcsn::rat::expressionset_impl< Context >::as_tupleset_impl< detail::index_sequence< I...> > | |
►Cvcsn::ast::ast_node | |
Cvcsn::ast::automaton | |
Cvcsn::ast::context | |
Cvcsn::ast::expansionset | |
Cvcsn::ast::expressionset | |
Cvcsn::ast::genset | Represents the "alphabets", or "generator set" |
Cvcsn::ast::letterset | Support for letterset<GenSet> |
Cvcsn::ast::nullableset | |
Cvcsn::ast::oneset | |
Cvcsn::ast::other | |
Cvcsn::ast::polynomialset | |
Cvcsn::ast::tuple | |
Cvcsn::ast::tupleset | |
Cvcsn::ast::weightset | |
Cvcsn::ast::wordset | Support for wordset<GenSet> |
►Cvcsn::dyn::detail::automaton_base | Base class for automata |
Cvcsn::dyn::detail::automaton_wrapper< Aut > | A wrapped typed automaton |
Cvcsn::detail::automaton_decorator< Aut, Context > | Aggregate an automaton, and forward calls to it |
►Cvcsn::detail::automaton_decorator< Aut > | |
Cvcsn::detail::expression_automaton_impl< Aut > | An incremental automaton whose states are expressions |
Cvcsn::detail::filter_automaton_impl< Aut > | Hide some states of an automaton |
Cvcsn::detail::name_automaton_impl< Aut > | An incremental automaton whose states are names |
Cvcsn::detail::scc_automaton_impl< Aut > | An automaton decorator that maps states to their scc-number |
Cvcsn::detail::transpose_automaton_impl< Aut > | Read-write on an automaton, that transposes everything |
Cvcsn::detail::tuple_automaton_impl< Aut, Auts > | An automaton whose states are tuples of states of automata |
►Cvcsn::detail::automaton_decorator< Aut, project_context< Tape, context_t_of< Aut > > > | |
Cvcsn::detail::focus_automaton_impl< Tape, Aut > | Read-write on an automaton, that hides all tapes but one |
►Cvcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut > > | |
Cvcsn::detail::delay_automaton_impl< Aut > | An automaton whose states may be qualified by delays and/or prefixes |
Cvcsn::detail::determinized_automaton_impl< Aut > | The subset construction automaton from another |
Cvcsn::detail::detweighted_automaton_impl< Aut > | The weighted determinization of weighted automaton |
Cvcsn::detail::partition_automaton_impl< Aut > | An automaton wrapper whose states form a partition of the state set of another automaton |
Cvcsn::detail::permutation_automaton_impl< Aut > | An automaton isomorphic to another one |
►Cvcsn::detail::automaton_decorator< fresh_worded_automaton_t< Aut > > | |
Cvcsn::detail::synchronized_automaton_impl< Aut > | An automaton whose states may be qualified by delays and/or prefixes |
►Cvcsn::detail::automaton_decorator< mutable_automaton< context_t_of< Aut > > > | |
Cvcsn::detail::pair_automaton_impl< Aut > | The pair automaton is used by several algorithms for synchronizing words |
►Cvcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts...> > | |
Cvcsn::detail::product_automaton_impl< Aut, Auts > | Build the (accessible part of the) product |
►Cvcsn::automaton_editor | Abstract Builder (the design pattern) for automata |
Cvcsn::edit_automaton< Aut > | Concrete Builder (the design pattern) for automata |
Cvcsn::automatonset< Context > | |
Cvcsn::detail::b_impl | |
Cvcsn::detail::bounded_lag_checker< Aut > | |
Cvcsn::rat::braced_expression | An expression that "remembers" whether it was in parentheses |
►Cvcsn::detail::dot::parser::by_state | Type access provider for state based symbols |
►Cvcsn::detail::dot::parser::basic_symbol< by_state > | |
Cvcsn::detail::dot::parser::stack_symbol_type | "Internal" symbol: element of the stack |
►Cvcsn::rat::parser::by_state | Type access provider for state based symbols |
►Cvcsn::rat::parser::basic_symbol< by_state > | |
Cvcsn::rat::parser::stack_symbol_type | "Internal" symbol: element of the stack |
Cvcsn::detail::dot::parser::by_type | Type access provider for token (enum) based symbols |
Cvcsn::rat::parser::by_type | Type access provider for token (enum) based symbols |
Cvcsn::char_letters | Represent alphabets whose "letters" are plain chars |
Cvcsn::detail_weighted::minimizer< Aut >::classset | Dealing with class numbers |
Cvcsn::detail::composer< Lhs, Rhs > | Build the (accessible part of the) composition |
Cvcsn::detail::concat< S1, S2 > | |
►CConcat | |
Cvcsn::detail::make_index_sequence< N > | |
Cvcsn::detail::concat_index_sequence< S1, S2 > | |
Cvcsn::detail::concat_tupleset< T1, T2 > | |
Cvcsn::detail::concat_tupleset< weightset_mixin< tupleset_impl< T1...> >, weightset_mixin< tupleset_impl< T2...> > > | |
Cvcsn::rat::const_visitor< Context > | |
►Cconst_visitor | |
Cvcsn::detail::star_heighter< ExpSet > | |
Cvcsn::detail::transposer< ExpSet > | A visitor to create a transposed expression, |
Cvcsn::rat::constant_term_visitor< ExpSet > | A functor to compute the constant term of an expression |
Cvcsn::rat::derivation_visitor< ExpSet > | Functor to compute the derivation of an expression |
Cvcsn::rat::expand_visitor< ExpSet > | |
Cvcsn::rat::hash< ExpSet > | |
Cvcsn::rat::info< ExpSet > | Gather information of the number of the different node types |
Cvcsn::rat::less< ExpSet > | A functor to check whether one rational expression is (strictly) less than another one |
Cvcsn::rat::printer< ExpSet > | |
Cvcsn::rat::sizer< ExpSet > | Functor to compute the size of a rational expression |
Cvcsn::rat::split_visitor< ExpSet > | Break a rational expression into a polynomial |
Cvcsn::rat::standard_visitor< Aut, ExpSet > | Build a standard automaton from an expression |
Cvcsn::rat::star_normal_form_visitor< ExpSet > | |
Cvcsn::rat::thompson_visitor< Aut, ExpSet > | Build a Thompson automaton from an expression |
Cvcsn::rat::to_expansion_visitor< ExpSet > | Functor to compute the expansion of an expression |
Cvcsn::rat::zpc_visitor< Aut, ExpSet > | Build a ZPC automaton from an expression |
►Cconst_visitor | |
Cvcsn::rat::copier< InExpSet, OutExpSet > | Functor to copy/convert a rational expression |
Cvcsn::container_filter_range< Cont, Pred > | |
Cvcsn::container_range< C > | Restrict the interface of a container to begin/end |
Cvcsn::context< LabelSet, WeightSet > | |
Cvcsn::context< Tape, full_context_t > | |
►Cvcsn::dyn::detail::context_base | Template-less root for contexts |
Cvcsn::dyn::detail::context_wrapper< Context > | A wrapped typed context |
Cvcsn::ast::context_parser | |
►Ccontext_t | |
Cvcsn::weightset_mixin< context_t > | |
Cvcsn::detail::context_t_of_impl< ValueSet > | |
►Cvcsn::detail::context_t_of_impl< base_t< ValueSet > > | |
Cvcsn::detail::context_t_of_impl< std::shared_ptr< ValueSet > > | |
►Cvcsn::ast::context_visitor | |
Cvcsn::ast::context_printer | |
Cvcsn::ast::signature_printer | |
Cvcsn::detail::copier< AutIn, AutOut > | Copy an automaton |
Cvcsn::cross_sequences< Sequences > | Provide a range that allows to iterate over the cross product of the provided ranges |
Cvcsn::detail::cycle_identity_impl< Aut > | Whether all the paths between any two states have the same weight (i.e., for all s0, s1, any two paths p0, p1 between s0 and s1 have the same weight w_{s0,s1}) |
Cvcsn::detail::weighter< Aut >::datum_less | |
Cvcsn::detail::enumerater< Aut >::datum_less | |
Cvcsn::detail::delgado_profiler< Aut > | |
Cvcsn::detail::derived_term_algo | Specify a variety of derived-term construction |
Cvcsn::detail::derived_termer< ExpSet > | Compute the derived-term automaton from an expression |
Cvcsn::detail::down_caster | A functor that captures the current location (to report errors), and provides "cast" |
Cvcsn::detail::dot::driver | State and public interface for Dot parsing |
Cvcsn::rat::driver | State and public interface for rational expression parsing |
Cvcsn::detail::mutable_automaton_impl< Context >::dst_p | |
Cvcsn::empty_t | Empty labels, for LAO |
►Cenable_shared_from_this | |
►Cvcsn::rat::node< Context > | The abstract parameterized, root for all rational expression types |
►Cvcsn::rat::inner< Context > | An inner node |
Cvcsn::rat::tuple< Context, Enable > | Implementation of nodes of tuple of rational expressions |
Cvcsn::rat::tuple< Context, false > | |
Cvcsn::rat::unary< Type, Context > | |
Cvcsn::rat::variadic< Type, Context > | An inner node with multiple children |
Cvcsn::rat::weight_node< Type, Context > | An inner node implementing a weight |
►Cvcsn::rat::leaf< Context > | The root from which to derive the final node types |
Cvcsn::rat::atom< Context > | |
Cvcsn::rat::constant< Type, Context > | |
Cvcsn::detail::enumerater< Aut > | |
Cvcsn::detail::epsilon_acyclic< Aut, has_one > | |
Cvcsn::detail::epsilon_acyclic< Aut, false > | |
Cvcsn::detail::epsilon_acyclic< Aut, true > | Detect epsilon-circuits |
Cvcsn::detail::epsilon_profile< State > | This is used by some epsilon removal algorithms |
Cvcsn::detail::epsilon_remover< Aut, has_one > | This class contains the core of the proper algorithm |
Cvcsn::detail::epsilon_remover< Aut, false > | |
Cvcsn::detail::epsilon_remover_distance< Aut, has_one > | This class contains the core of the proper algorithm |
Cvcsn::detail::epsilon_remover_distance< Aut, false > | |
Cvcsn::detail::epsilon_remover_separate< Aut, has_one > | This class contains the core of the proper algorithm |
Cvcsn::detail::epsilon_remover_separate< Aut, false > | |
►Cequal_to | |
Cvcsn::equal_to< ValueSet > | This is useful to make hashes with labels or weights as keys without using non-default constructors; to be used along with vcsn::hash |
Cvcsn::detail::evaluator< Aut > | |
►Cstd::exception | STL class |
►Cstd::runtime_error | STL class |
Cvcsn::detail::dot::parser::syntax_error | Syntax errors thrown from user actions |
Cvcsn::dyn::jit_error | An exception suited for our compilation errors |
Cvcsn::file_library::not_found | Exception thrown when a file cannot be located |
Cvcsn::rat::parser::syntax_error | Syntax errors thrown from user actions |
Cvcsn::path::invalid_path | Exception thrown on invalid path |
►Cvcsn::rat::exp | The abstract, non-parameterized, root for all rational expression node types |
Cvcsn::rat::node< Context > | The abstract parameterized, root for all rational expression types |
►Cvcsn::dyn::detail::expansion_base | An abstract expansion |
Cvcsn::dyn::detail::expansion_wrapper< ExpansionSet > | Aggregate an expansion and its expansionset |
Cvcsn::rat::expansionset< ExpSet > | |
Cvcsn::rat::expansionset< expressionset_t > | |
►Cvcsn::dyn::detail::expression_base | An abstract expression |
Cvcsn::dyn::detail::expression_wrapper< ExpSet > | Aggregate an expression and its expressionset |
Cvcsn::rat::expressionset_impl< Context > | A typed expression set |
►Cexpressionset_t | |
Cvcsn::weightset_mixin< expressionset_t > | |
Cvcsn::detail::f2_impl | |
►Cfalse_type | |
►Cvcsn::detail::is_multitape< LabelSet > | |
Cvcsn::detail::is_multitape< context< LabelSet, WeightSet > > | |
Cvcsn::detail::detect< typename, class, typename > | |
Cvcsn::detail::is_division_ring< polynomialset< Context, Kind > > | |
Cvcsn::detail::is_division_ring< z > | |
Cvcsn::detail::is_multitape< ValueSet > | Whether a ValueSet, or a context, is multitape |
Cvcsn::set_alphabet< L >::has_range< Letter, Enable > | Whether the genset supports the range concept: whether we can use '++' on letters |
Cvcsn::file_library | Manage search paths |
►CFlexLexer | |
CyyFlexLexer | |
Cvcsn::format | An input/output format |
Cvcsn::are_isomorphicer< Aut1, Aut2 >::full_response | A datum specifying if two given automata are isomorphic, and why if they are not |
►Cvcsn::detail::genset_labelset< GenSet > | This class has no modeling purpose, it only serves to factor code common to letterset, nullableset and wordset |
Cvcsn::letterset< GenSet > | Implementation of labels are letters |
Cvcsn::wordset< GenSet > | Implementation of labels are words |
Cvcsn::detail::filter_automaton_impl< Aut >::has_dst_p< Pred > | |
Cvcsn::detail::filter_automaton_impl< Aut >::has_src_p< Pred > | |
Cvcsn::detail::mutable_automaton_impl< Context >::has_state_p< Pred > | |
Cvcsn::detail::filter_automaton_impl< Aut >::has_state_p< Pred > | |
Cvcsn::detail::filter_automaton_impl< Aut >::has_transition_p< Pred > | |
Cvcsn::hash< ValueSet > | This is useful to make hashes with labels or weights as keys without using non-default constructors; to be used along with vcsn::equal_to |
Cstd::hash< boost::dynamic_bitset< B, A > > | |
Cstd::hash< map< Key, Value, Compare, Alloc > > | |
Cstd::hash< pair< T1, T2 > > | |
Cstd::hash< set< T, Compare, Alloc > > | |
Cstd::hash< std::array< Value, Size > > | |
Cstd::hash< std::tuple< Elements...> > | |
Cstd::hash< unordered_set< Key, Hash, KeyEqual, Alloc > > | |
Cstd::hash< vcsn::empty_t > | |
Cstd::hash< vcsn::signature > | |
Cstd::hash< vcsn::symbol > | |
Cstd::hash< vector< T, Alloc > > | |
Cvcsn::detail::hidden_label_type< A, I > | |
Cvcsn::detail::hidden_label_type< Aut, index_sequence< I...> > | |
Cvcsn::rat::identities | An expressionset can implement several different sets of identities on expressions |
Cvcsn::detail::if_c< c, T1, T2 > | |
►Cvcsn::detail::if_c< C::value, T1, T2 > | |
Cvcsn::detail::if_< C, T1, T2 > | |
Cvcsn::detail::if_c< false, T1, T2 > | |
►Cvcsn::detail::index_sequence<> | |
Cvcsn::detail::make_index_range< S, 0 > | |
Cvcsn::detail::make_index_range< S,-1U > | |
Cvcsn::detail::make_index_sequence< 0 > | |
►Cvcsn::detail::index_sequence< 0 > | |
Cvcsn::detail::make_index_sequence< 1 > | |
►Cvcsn::detail::index_sequence< I+off...> | |
Cvcsn::detail::int_range< off, index_sequence< I...> > | |
►Cvcsn::detail::index_sequence< I1..., I2...> | |
Cvcsn::detail::concat_index_sequence< index_sequence< I1...>, index_sequence< I2...> > | |
►Cvcsn::detail::index_sequence< I1...,(sizeof...(I1)+I2)...> | |
Cvcsn::detail::concat< index_sequence< I1...>, index_sequence< I2...> > | |
Cvcsn::detail::index_sequence_difference< S1, S2 > | Get the list containing all the elements of I1 (contiguous sequence from 0 to N) not present in I2 (arbitrary sequence, sorted) |
Cvcsn::detail::index_sequence_difference< index_sequence< I1_1, I1...>, index_sequence< I1_1, I2...> > | |
Cvcsn::detail::index_sequence_difference< index_sequence< I1_1, I1...>, index_sequence< I2_1, I2...> > | |
Cvcsn::detail::index_sequence_difference< index_sequence< I1_1, I1...>, index_sequence<> > | |
Cvcsn::detail::index_sequence_difference< index_sequence<>, index_sequence<> > | |
Cvcsn::detail::insplitter< Aut > | |
Cvcsn::detail::int_range< off, S2 > | |
►Cvcsn::detail::int_range< S, make_index_sequence< L >::type > | |
Cvcsn::detail::make_index_range< S, L > | |
Cvcsn::integral_constant | A simple placeholder for integral constants |
►Cvcsn::iomanipulator | Defines the operator() for the classes get_type, set_type and swap_type |
Cvcsn::xalloc< StoredType >::get_type | Handle the data to get from the xalloced place |
Cvcsn::xalloc< StoredType >::set_type | Handle the data to put in the xalloced place |
Cvcsn::xalloc< StoredType >::swap_type | Swap the data stored in the stream for a given one |
►Cis_same_t | |
Cvcsn::is_lal< Kinded > | |
Cvcsn::is_lan< Kinded > | |
Cvcsn::is_lao< Kinded > | |
Cvcsn::is_lar< Kinded > | |
Cvcsn::is_lat< Kinded > | |
Cvcsn::is_law< Kinded > | |
Cvcsn::detail::is_valider< Aut, has_one > | |
Cvcsn::detail::is_valider< Aut, false > | |
Cvcsn::zipped_maps< Dereference, Maps >::iterator | Composite iterator |
►Citerator_facade | |
Cvcsn::cross_sequences< Sequences >::cross_iterator< ValueType, IteratorsType > | Composite iterator |
Cvcsn::detail::wet_bitset::iterator_impl< Value, Set > | Iterator |
Cvcsn::detail::wet_set< Key, Compare >::iterator_impl< Value, Iterator > | Iterator |
Cvcsn::zip_sequences< Sequences >::zip_iterator< ValueType, IteratorsType > | Composite iterator |
Cvcsn::detail::join_impl< V1, V2, Enable > | A structure that implements the computation of join(V1, V2) |
Cvcsn::detail::join_impl< b, expressionset< Context > > | |
Cvcsn::detail::join_impl< context< LS1, WS1 >, context< LS2, WS2 > > | The join of two contexts |
Cvcsn::detail::join_impl< expressionset< Ctx1 >, expressionset< Ctx2 > > | The join of two expressionsets |
Cvcsn::detail::join_impl< letterset< GenSet >, letterset< GenSet > > | |
Cvcsn::detail::join_impl< letterset< GenSet >, wordset< GenSet > > | The join with another labelset |
Cvcsn::detail::join_impl< letterset< GenSet1 >, expressionset< Ctx2 > > | Join of a letterset and an expressionset |
Cvcsn::detail::join_impl< nullableset< letterset< GenSet > >, wordset< GenSet > > | |
Cvcsn::detail::join_impl< nullableset< LS1 >, LS2 > | The join with another labelset |
Cvcsn::detail::join_impl< nullableset< LS1 >, nullableset< LS2 > > | The join with another labelset |
Cvcsn::detail::join_impl< oneset, LS, enable_if_t< LS::has_one()> > | oneset v LS -> LS if LS::has_one |
Cvcsn::detail::join_impl< oneset, LS, enable_if_t<!LS::has_one()> > | oneset v LS -> nullableset<LS> if !LS::has_one |
Cvcsn::detail::join_impl< oneset, oneset > | |
Cvcsn::detail::join_impl< polynomialset< Ctx1, Kind1 >, polynomialset< Ctx2, Kind2 > > | |
Cvcsn::detail::join_impl< polynomialset< Ctx1, Kind1 >, WS2 > | |
Cvcsn::detail::join_impl< rat::identities, rat::identities > | |
Cvcsn::detail::join_impl< tupleset< VS1...>, tupleset< VS2...> > | Join between two tuplesets, of the same size |
Cvcsn::detail::join_impl< tupleset< VS1...>, VS2 > | Join between a tupleset, and a non tuple |
Cvcsn::detail::join_impl< wordset< GenSet >, wordset< GenSet > > | |
Cvcsn::detail::join_impl_simple< W1, W2 > | |
►Cvcsn::detail::join_impl_simple< q, expressionset< Context > > | |
Cvcsn::detail::join_impl< q, expressionset< Context > > | |
►Cvcsn::detail::join_impl_simple< r, expressionset< Context > > | |
Cvcsn::detail::join_impl< r, expressionset< Context > > | |
Cvcsn::detail::join_impl_simple< WeightSet, expressionset< Context > > | |
►Cvcsn::detail::join_impl_simple< z, expressionset< Context > > | |
Cvcsn::detail::join_impl< z, expressionset< Context > > | |
►Cvcsn::detail::join_impl_simple< zmin, expressionset< Context > > | |
Cvcsn::detail::join_impl< zmin, expressionset< Context > > | |
►CL | |
Cvcsn::set_alphabet< L > | A set of letters of type L |
►Cvcsn::dyn::detail::label_base | An abstract label |
Cvcsn::dyn::detail::label_wrapper< LabelSet > | Aggregate a label and its labelset |
Cvcsn::detail::product_automaton_impl< Aut, Auts >::label_equal_p | |
Cvcsn::detail::mutable_automaton_impl< Context >::label_equal_p | |
Cvcsn::detail::filter_automaton_impl< Aut >::label_equal_p | |
Cvcsn::detail::label_t_of_impl< ValueSet > | |
►Cvcsn::detail::label_t_of_impl< base_t< ValueSet > > | |
Cvcsn::detail::label_t_of_impl< std::shared_ptr< ValueSet > > | |
Cvcsn::labels_are_expressions | |
Cvcsn::labels_are_letters | |
Cvcsn::labels_are_nullable | |
Cvcsn::labels_are_one | |
Cvcsn::labels_are_tuples | |
Cvcsn::labels_are_words | |
Cvcsn::detail::labelset_t_of_impl< ValueSet > | |
►Cvcsn::detail::labelset_t_of_impl< base_t< ValueSet > > | |
Cvcsn::detail::labelset_t_of_impl< std::shared_ptr< ValueSet > > | |
Cvcsn::detail::labelset_types_impl< Enable, ValueSets > | A traits so that tupleset may define types that may exist |
Cvcsn::detail::labelset_types_impl< decltype(pass{std::declval< ValueSets >().genset()...}, void()), ValueSets...> | Specialization for tuples of labelsets |
Cvcsn::detail::law_traits< ValueSet > | The LAW from a LAL |
Cvcsn::detail::law_traits< expressionset< Ctx > > | Conversion to a wordset: identity |
Cvcsn::detail::law_traits< letterset< GenSet > > | Conversion for letterset<GenSet> to a super wordset |
Cvcsn::detail::law_traits< nullableset< LabelSet > > | Conversion for nullable<LabelSet> to a super wordset |
Cvcsn::detail::law_traits< oneset > | Conversion to a wordset: identity |
Cvcsn::detail::law_traits< tupleset< LabelSets...> > | Conversion to wordset |
Cvcsn::detail::law_traits< wordset< GenSet > > | |
Cvcsn::lazy_automaton_editor | Build an automaton with unknown context |
Cvcsn::detail::left_reductioner< Aut > | |
Cvcsn::less< ValueSet, Value > | Functor to compare Values of ValueSets |
Cvcsn::less_equal< ValueSet, Value > | Functor to compare Values of ValueSets |
Cvcsn::detail::letterized_traits< LabelSet > | |
Cvcsn::detail::letterized_traits< letterset< GenSet > > | Conversion to letterized |
Cvcsn::detail::letterized_traits< nullableset< LabelSet > > | Conversion to letterized |
Cvcsn::detail::letterized_traits< tupleset< LabelSets...> > | Conversion to letterized |
Cvcsn::detail::letterized_traits< wordset< GenSet > > | Conversion to letterized |
Cvcsn::detail::letterizer< In_Aut, Out_Aut > | From an automaton, the corresponding automaton with a non-word labelset |
Cvcsn::detail::lifter_impl< Context, Tapes, Enable > | Helper structure for a lift of several tapes |
Cvcsn::detail::lifter_impl< Context, vcsn::detail::index_sequence<> > | Lift all the label tapes to the weights |
Cvcsn::rat::location | Abstract a location |
Cvcsn::detail::log_impl | |
Cvcsn::MilitaryOrder< T > | Military strict order predicate |
Cvcsn::detail::min_plus_impl< Value > | |
►Cvcsn::detail::min_plus_impl< double > | |
Cvcsn::detail::rmin_impl | |
►Cvcsn::detail::min_plus_impl< int > | |
Cvcsn::detail::zmin_impl | |
►Cvcsn::detail::min_plus_impl< unsigned int > | |
Cvcsn::detail::nmin_impl | |
Cvcsn::detail_moore::minimizer< Aut > | |
Cvcsn::detail_signature::minimizer< Aut > | |
Cvcsn::detail_weighted::minimizer< Aut > | |
►Cmultichar_output_filter | |
Cvcsn::detail::backslashify_output_filter | Backslash backslashes |
Cvcsn::detail::mutable_automaton_impl< Context > | |
Cvcsn::detail::naive_profiler< Aut > | |
Cvcsn::detail::polynomialset_impl< Context, Kind >::norm_< WeightSet, Dummy > | In the general case, normalize by the first (non null) weight |
Cvcsn::detail::polynomialset_impl< Context, Kind >::norm_< polynomialset< Ctx, Knd >, Dummy > | Compute the left GCD of weights which are polynomials |
Cvcsn::detail::polynomialset_impl< Context, Kind >::norm_< z, Dummy > | For Z, take the GCD, with the sign of the first value |
Cvcsn::detail::mutable_automaton_impl< Context >::not_from_pre_p | |
Cvcsn::detail::filter_automaton_impl< Aut >::not_from_pre_p | |
Cvcsn::detail::product_automaton_impl< Aut, Auts >::not_to_post_p | |
Cvcsn::detail::mutable_automaton_impl< Context >::not_to_post_p | |
Cvcsn::detail::filter_automaton_impl< Aut >::not_to_post_p | |
Cvcsn::detail::mutable_automaton_impl< Context >::not_with_pre_post_p | |
Cvcsn::detail::nullable_helper< LabelSet > | Add support for an empty word to a LabelSet that does not provide such special label to this end |
Cvcsn::detail::nullable_helper< letterset< GenSet > > | Add support for an empty word to a letterset thanks to the one() of its genset |
Cvcsn::nullableset< LabelSet > | Implementation of labels are nullables (letter or empty) |
Cvcsn::detail::nullableset_traits< LabelSet, Enable > | The smallest nullableset which includes LabelSet |
Cvcsn::detail::nullableset_traits< expressionset< Ctx > > | Conversion to a nullableset: identity |
Cvcsn::detail::nullableset_traits< letterset< GenSet > > | Conversion for letterset<GenSet> to a nullableset |
Cvcsn::detail::nullableset_traits< nullableset< LabelSet > > | Conversion for nullable<LabelSet> to a nullableset: id |
Cvcsn::detail::nullableset_traits< oneset > | Conversion to a nullableset: identity |
Cvcsn::detail::nullableset_traits< tupleset< LabelSets...>, enable_if_t< tupleset< LabelSets...>::has_one()> > | Conversion to a nullableset: all the labelsets support one |
Cvcsn::detail::nullableset_traits< tupleset< LabelSets...>, enable_if_t<!tupleset< LabelSets...>::has_one()> > | Conversion to a nullableset: not all the labelsets support one |
Cvcsn::detail::nullableset_traits< wordset< GenSet > > | Wordset is already a nullableset |
Cvcsn::oneset | Implementation of labels are ones: there is a single instance of label |
Cvcsn::detail::or_< F > | Or condition on several typenames |
Cvcsn::detail::origins_t_of_impl< Aut > | From an (input) automaton type, compute its origin_t type |
Cvcsn::detail::origins_t_of_impl< partition_automaton< Aut > > | |
Cvcsn::detail::origins_t_of_impl< transpose_automaton< Aut > > | |
►Cvcsn::detail::outputter< Aut > | Factor common bits in automaton formatting |
Cvcsn::detail::dotter< Aut > | Format an automaton into Dot |
Cvcsn::detail::efsmer< Aut > | Format automaton to EFSM format, based on FSM format |
Cvcsn::detail::fadoer< Aut > | Format an automaton into Fado |
Cvcsn::detail::grailer< Aut > | Format an automaton into Fado |
Cvcsn::detail::tikzer< Aut > | Format automaton to TikZ format |
Cvcsn::detail::dot::parser | A Bison parser |
Cvcsn::rat::parser | A Bison parser |
Cvcsn::detail::partial_identity_context< Aut > | |
►Cvcsn::detail::partition_automaton_t_impl< Aut > | From an (input) automaton type, compute the right decorator for its partition_automaton |
Cvcsn::detail::partition_automaton_t_impl< partition_automaton< Aut > > | |
Cvcsn::detail::partition_automaton_t_impl< transpose_automaton< Aut > > | |
Cvcsn::detail::pass | Ignore its arguments |
Cvcsn::path | Paths in filesystems, i.e., file names |
Cvcsn::detail::dot::paths_t | |
►Cvcsn::dyn::detail::polynomial_base | An abstract polynomial |
Cvcsn::dyn::detail::polynomial_wrapper< PolynomialSet > | Aggregate a polynomial and its polynomialset |
Cvcsn::detail::polynomialset_impl< Context, Kind > | Linear combination of labels: map labels to weights |
Cvcsn::rat::position | Abstract a position |
►Cvcsn::possibly_labeled_transition_tuple< State, Label > | Transition on non-empty label |
Cvcsn::transition_tuple< State, Label, Weight > | Transition with label and non Boolean weight |
Cvcsn::transition_tuple< State, Label, bool > | Transition with label and Boolean weight |
Cvcsn::possibly_labeled_transition_tuple< State, empty_t > | Transition on empty label |
Cvcsn::detail::project_labelset_impl< Tape, LabelSet > | The type of the resulting apparent LabelSet when keeping only tape Tape |
Cvcsn::detail::project_labelset_impl< Tape, expressionset< Context > > | Case of multitape expressionsets |
Cvcsn::detail::project_labelset_impl< Tape, tupleset< LabelSets...> > | Case of tuplesets |
Cvcsn::detail::proper_traits< LabelSet > | From a labelset, its non-nullable labelset |
Cvcsn::detail::proper_traits< nullableset< LabelSet > > | |
Cvcsn::detail::proper_traits< tupleset< LabelSet > > | Transform a tupleset of one element to a tupleset of the proper version |
Cvcsn::detail::properer< Aut > | |
Cvcsn::detail::q_impl | |
Cvcsn::detail::qmp_impl | |
Cvcsn::detail::quotienter< Aut > | Apply a quotient onto an automaton: fuse equivalent states |
Cvcsn::detail::r_impl | |
Cvcsn::random_selector< RandomGenerator > | |
Cvcsn::detail::rank< LabelSet > | Number of tapes |
Cvcsn::detail::rank< tupleset< LabelSet...> > | |
Cvcsn::detail::real_context_impl< Aut > | When we copy a focus automaton, create another focus automaton |
Cvcsn::detail::real_context_impl< automaton_decorator< Aut > > | Be recursive on automaton wrappers |
Cvcsn::detail::real_context_impl< focus_automaton< Tape, Aut > > | |
Cvcsn::dyn::detail::Registry< Fun > | |
Cvcsn::detail::reverse_postorder_impl< Aut > | Get all states in reverse postorder using depth first search |
Cvcsn::detail::scc_dijkstra_impl< Aut > | Compute the strongly connected components using Dijkstra's algorithm |
Cvcsn::detail::scc_kosaraju_impl< Aut > | Compute the strongly connected components using Kosaraju's algorithm |
Cvcsn::detail::scc_tarjan_iterative_impl< Aut > | Tarjan's algorithm to find all strongly connected components: iterative implementation |
Cvcsn::detail::scc_tarjan_recursive_impl< Aut > | Tarjan's algorithm to find all strongly connected components: recursive implementation |
Cvcsn::detail::select< Weightset > | |
►Cvcsn::detail::select< void > | |
Cvcsn::detail::select< q > | |
Cvcsn::detail::select< r > | |
Cvcsn::detail::select< z > | |
Cvcsn::signature | Signature of a function call |
Cvcsn::detail_signature::minimizer< Aut >::signature_equal_to | |
Cvcsn::detail_weighted::minimizer< Aut >::signature_equal_to | |
Cvcsn::detail_signature::minimizer< Aut >::signature_hasher | |
Cvcsn::detail_weighted::minimizer< Aut >::signature_hasher | |
Cvcsn::detail::dot::slice< T, S > | Present a slice of the top of a stack |
Cvcsn::rat::slice< T, S > | Present a slice of the top of a stack |
►Cvcsn::snamer< T > | |
Cvcsn::snamer< std::shared_ptr< T > > | |
Cvcsn::snamer< bool > | |
Cvcsn::snamer< boost::optional< unsigned > > | |
Cvcsn::snamer< const std::set< std::pair< std::string, std::string > > > | |
Cvcsn::snamer< const std::string > | |
Cvcsn::snamer< const std::vector< unsigned > > | |
Cvcsn::snamer< float > | |
Cvcsn::snamer< int > | |
Cvcsn::snamer< std::integral_constant< T, Value > > | |
Cvcsn::snamer< std::istream > | |
Cvcsn::snamer< std::ostream > | |
Cvcsn::snamer< std::tuple< Args...> > | The sname of a tuple is the tuple of the snames |
Cvcsn::snamer< unsigned > | |
Cvcsn::snamer< vcsn::direction > | |
Cvcsn::snamer< vcsn::rat::identities > | |
Cvcsn::detail::sorter< Aut > | A function to sort an automaton |
Cvcsn::detail::dot::stack< T, S > | |
Cvcsn::rat::stack< T, S > | |
Cvcsn::rat::stack< stack_symbol_type > | |
Cvcsn::detail::dot::stack< stack_symbol_type > | |
Cvcsn::detail::standard_operations< Aut > | |
Cvcsn::state_distancer< Aut, WeightSet > | Wrapper struct to provide the state distance function |
Cvcsn::state_distancer< Aut, nmin > | Struct specialization for nmin |
Cvcsn::detail::state_eliminator< Aut, Profiler > | Eliminate states in an automaton whose labelset is oneset |
Cvcsn::detail_signature::minimizer< Aut >::state_output_for_label_t | |
Cvcsn::detail::delgado_profiler< Aut >::state_profile | |
Cvcsn::detail::naive_profiler< Aut >::state_profile | |
Cvcsn::detail::state_t_of_impl< ValueSet > | |
►Cvcsn::detail::state_t_of_impl< base_t< ValueSet > > | |
Cvcsn::detail::state_t_of_impl< std::shared_ptr< ValueSet > > | |
Cvcsn::detail::detweighted_automaton_impl< Aut >::stateset | An output state is a list of weighted input states |
Cvcsn::detail::scc_tarjan_iterative_impl< Aut >::step_t | Step of one state contain infomation next successor and end iterator(output transitions or successors of this state) |
Cvcsn::detail::mutable_automaton_impl< Context >::stored_state_t | Data stored for each state |
Cvcsn::string_letters | Represent alphabets whose "letters" are strings |
Cvcsn::detail::synchronize_checker< Aut > | |
Cvcsn::detail::synchronizer< Aut > | |
►Ctemplate zip_iterator | |
Cvcsn::zip_sequences_padded< ZipSequences >::zip_iterator< ValueType, IteratorsType > | |
Cvcsn::rat::parser::token | Tokens |
Cvcsn::detail::dot::parser::token | Tokens |
Cvcsn::detail::transition_map< Aut, WeightSet, Deterministic, AllOut, KeepTransitions >::transition_< Weight, KeepTransitions_, Dummy > | Outgoing signature: weight, destination |
Cvcsn::detail::transition_map< Aut, WeightSet, Deterministic, AllOut, KeepTransitions >::transition_< bool, false, Dummy > | Boolean outgoing signature: destination |
Cvcsn::detail::transition_map< Aut, WeightSet, Deterministic, AllOut, KeepTransitions >::transition_< bool, true, Dummy > | Boolean outgoing signature: destination, transition identifier |
Cvcsn::detail::transition_map< Aut, WeightSet, Deterministic, AllOut, KeepTransitions >::transition_< Weight, true, Dummy > | Weighted outgoing signature: weight, destination, transition identifier |
Cvcsn::detail::transition_less< Aut > | Compare transitions of an automaton |
Cvcsn::detail::transition_map< Aut, WeightSet, Deterministic, AllOut, KeepTransitions > | Cache the outgoing transitions of an automaton as efficient maps label -> vector<(weight, dst)> |
Cvcsn::detail::transition_map< automaton_t, weightset_t, true > | |
Cvcsn::detail::transition_map< automaton_t, weightset_t_of< automaton_t >, true, true > | |
Cvcsn::detail::transition_t_of_impl< ValueSet > | |
►Cvcsn::detail::transition_t_of_impl< base_t< ValueSet > > | |
Cvcsn::detail::transition_t_of_impl< std::shared_ptr< ValueSet > > | |
Cvcsn::detail::trie_builder< Context, Dir > | Build a trie automaton (prefix-tree-like automaton) |
►Ctrue_type | |
Cvcsn::detail::detect< T, Op, void_t< Op< T > > > | |
Cvcsn::detail::is_division_ring< WeightSet > | |
Cvcsn::detail::is_multitape< tupleset< ValueSet...> > | |
Cvcsn::set_alphabet< L >::has_range< Letter, decltype((++std::declval< Letter & >(), void()))> | |
Cvcsn::rat::expansionset< ExpSet >::tuple_impl< Expansions > | Denormalize a pack of one-tape expansions |
Cvcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy > | Turn a tuple of expressions that are labels into a multi-tape label |
Cvcsn::detail::tuple_printer< Tuple, N > | |
Cvcsn::detail::tuple_printer< Tuple, 1 > | |
Cvcsn::detail::tupleset_impl< ValueSets > | A ValueSet which is a Cartesian product of ValueSets |
►Ctype | |
Cvcsn::detail::and_< F1 > | |
Cvcsn::detail::and_< F1, F...> | |
Cvcsn::detail::or_< F1 > | |
Cvcsn::detail::or_< F1, F...> | |
►Ctype | |
Cvcsn::detail::eval_if_c< c, F1, F2 > | Test if (c) then F1 else F2 and get the value |
►Ctype | |
Cvcsn::detail::eval_if< C, F1, F2 > | |
►Ctype | |
Cvcsn::detail::and_<> | |
Cvcsn::detail::or_<> | |
Cvcsn::detail::dot::parser::union_type | An auxiliary type to compute the largest semantic type |
Cvcsn::rat::parser::union_type | An auxiliary type to compute the largest semantic type |
Cvcsn::detail::universaler< Aut > | Functor for universal |
Cvcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred > | |
Cvcsn::detail::q_impl::value_t | |
Cvcsn::rat::expansionset< ExpSet >::value_t | An expansion |
Cvcsn::rat::tuple< Context, Enable >::values_t_impl< Sequence > | |
Cvcsn::rat::tuple< Context, Enable >::values_t_impl< detail::index_sequence< I...> > | |
Cvcsn::rat::tuple< Context, Enable >::values_t_impl< typename indices_t::type > | |
Cvcsn::detail::dot::variant< S > | A char[S] buffer to store and retrieve objects |
Cvcsn::rat::variant< S > | A char[S] buffer to store and retrieve objects |
Cvcsn::detail::dot::variant< sizeof(union_type)> | |
Cvcsn::rat::variant< sizeof(union_type)> | |
Cvcsn::detail::filter_automaton_impl< Aut >::visible_state_p | |
Cvcsn::rat::info< ExpSet >::visit_tuple< bool, Dummy > | |
Cvcsn::rat::to_expansion_visitor< ExpSet >::visit_tuple< bool, Dummy > | |
Cvcsn::rat::less< ExpSet >::visit_tuple< bool, Dummy > | |
Cvcsn::rat::constant_term_visitor< ExpSet >::visit_tuple< bool, Dummy > | |
Cvcsn::rat::copier< InExpSet, OutExpSet >::visit_tuple< bool, Dummy > | |
Cvcsn::rat::hash< ExpSet >::visit_tuple< bool, Dummy > | |
Cvcsn::rat::printer< ExpSet >::visit_tuple< bool, Dummy > | |
Cvcsn::rat::derivation_visitor< ExpSet >::visit_tuple< bool, Dummy > | |
Cvcsn::rat::sizer< ExpSet >::visit_tuple< bool, Dummy > | |
Cvcsn::rat::constant_term_visitor< ExpSet >::visit_tuple< false, Dummy > | |
Cvcsn::rat::derivation_visitor< ExpSet >::visit_tuple< false, Dummy > | |
Cvcsn::rat::copier< InExpSet, OutExpSet >::visit_tuple< false, Dummy > | |
Cvcsn::rat::to_expansion_visitor< ExpSet >::visit_tuple< false, Dummy > | |
Cvcsn::rat::less< ExpSet >::visit_tuple< false, Dummy > | |
Cvcsn::rat::printer< ExpSet >::visit_tuple< false, Dummy > | |
Cvcsn::rat::sizer< ExpSet >::visit_tuple< false, Dummy > | |
Cvcsn::rat::hash< ExpSet >::visit_tuple< false, Dummy > | |
Cvcsn::rat::info< ExpSet >::visit_tuple< false, Dummy > | |
Cvcsn::vnamer< T > | |
Cvcsn::vnamer< bool > | |
Cvcsn::vnamer< boost::optional< unsigned > > | |
Cvcsn::vnamer< const std::set< std::pair< std::string, std::string > > > | |
Cvcsn::vnamer< const std::string > | |
Cvcsn::vnamer< const std::vector< dyn::automaton > > | Likewise, for expressions |
Cvcsn::vnamer< const std::vector< dyn::expression > > | The vname of a vector of dyn::automata is the tuple of their vnames |
Cvcsn::vnamer< const std::vector< unsigned > > | |
Cvcsn::vnamer< float > | |
Cvcsn::vnamer< int > | |
Cvcsn::vnamer< integral_constant > | |
Cvcsn::vnamer< std::integral_constant< T, Value > > | |
Cvcsn::vnamer< std::istream > | |
Cvcsn::vnamer< std::ostream > | |
Cvcsn::vnamer< unsigned > | |
Cvcsn::vnamer< vcsn::direction > | |
Cvcsn::vnamer< vcsn::rat::identities > | |
Cvcsn::detail::voider<> | |
►Cvcsn::dyn::detail::weight_base | An abstract weight |
Cvcsn::dyn::detail::weight_wrapper< WeightSet > | Aggregate a weight and its weightset |
Cvcsn::detail::weight_t_of_impl< ValueSet > | |
►Cvcsn::detail::weight_t_of_impl< base_t< ValueSet > > | |
Cvcsn::detail::weight_t_of_impl< std::shared_ptr< ValueSet > > | |
Cvcsn::detail::weighter< Aut > | The lightest algorithm computes the paths between pre and post with the smallest weight possible |
Cvcsn::detail::weightset_t_of_impl< ValueSet > | |
►Cvcsn::detail::weightset_t_of_impl< base_t< ValueSet > > | |
Cvcsn::detail::weightset_t_of_impl< std::shared_ptr< ValueSet > > | |
►Cvcsn::detail::welement_label< Label > | |
Cvcsn::welement< Label, Weight > | |
Cvcsn::detail::welement_label< empty_t > | |
►Cvcsn::detail::welement_weight< Weight > | |
Cvcsn::welement< Label, Weight > | |
Cvcsn::detail::welement_weight< bool > | |
Cvcsn::detail::wet_bitset | |
Cvcsn::detail::wet_kind_impl< Key, Value > | |
Cvcsn::detail::wet_kind_impl< char, bool > | |
Cvcsn::detail::wet_kind_impl< Key, bool > | |
Cvcsn::detail::wet_map< Key, Value, Compare > | General case |
Cvcsn::detail::wet_set< Key, Compare > | |
Cvcsn::detail::wet_unordered_map< Key, Value, Hash, KeyEqual > | General case |
Cvcsn::detail::word_synchronizer< Aut > | |
Cvcsn::detail::worded_automaton< Aut > | |
Cvcsn::detail::worded_automaton< Aut >::worded_labelset< Dummy > | |
Cvcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet...> > | |
Cvcsn::xalloc< StoredType > | Allocate slots in std::ostreams |
Cvcsn::detail::z_impl | |
Cvcsn::zip_sequences< Sequences > | |
Cvcsn::zip_sequences_padded< ZipSequences > | |
Cvcsn::zipped_maps< Dereference, Maps > | |
►CBase | |
Cvcsn::detail::dot::parser::basic_symbol< Base > | A complete symbol |
Cvcsn::rat::parser::basic_symbol< Base > | A complete symbol |
Cchar | |
Cfresh_automaton_t_of< Aut > | |
Cfresh_worded_automaton_t< Aut > | |
Cmutable_automaton< context_t_of< Aut > > | |
Ctuple_automaton< Aut, Auts...> | |
►CWeightSet | |
Cvcsn::weightset_mixin< WeightSet > | Provide a variadic mul on top of a binary mul(), and one() |