var searchData=
[
  ['spot_20library_20documentation',['Spot Library Documentation',['../index.html',1,'']]],
  ['safe',['safe',['../classspot_1_1emptiness__check.html#a217e667676d60e9f6f4fa7ba923925c0',1,'spot::emptiness_check']]],
  ['satsolver',['satsolver',['../classspot_1_1satsolver.html',1,'spot']]],
  ['scan',['scan',['../classspot_1_1formater.html#a663f4c6946ced8761ca87af81c526bbb',1,'spot::formater::scan(const char *fmt, std::vector&lt; bool &gt; &amp;has) const '],['../classspot_1_1formater.html#ae2d1611e50c0e327a1b8b3b41487fbdc',1,'spot::formater::scan(const std::string &amp;fmt, std::vector&lt; bool &gt; &amp;has) const ']]],
  ['scc_5fhas_5frejecting_5fcycle',['scc_has_rejecting_cycle',['../group__twa__misc.html#ga1d6c074906652b7d96d93a1aa7ad192d',1,'spot']]],
  ['scc_5finfo',['scc_info',['../classspot_1_1scc__info.html',1,'spot']]],
  ['scc_5fnode',['scc_node',['../classspot_1_1scc__info_1_1scc__node.html',1,'spot::scc_info']]],
  ['scc_5fstack',['scc_stack',['../classspot_1_1scc__stack.html',1,'spot']]],
  ['scc_5fstack_5fta',['scc_stack_ta',['../classspot_1_1scc__stack__ta.html',1,'spot']]],
  ['se05',['se05',['../group__emptiness__check__algorithms.html#ga148336dbc6ed66c4557366aadbddc723',1,'spot']]],
  ['search',['search',['../classspot_1_1bfs__steps.html#ad5ce671417580b3115dc4658534c20f4',1,'spot::bfs_steps']]],
  ['seen',['seen',['../classspot_1_1ta__reachable__iterator.html#a9e2a1a5181f0e15cb3e2c0e19abd1975',1,'spot::ta_reachable_iterator::seen()'],['../classspot_1_1twa__reachable__iterator.html#a099217c22aba4b4453d9d46b2f3acc92',1,'spot::twa_reachable_iterator::seen()'],['../classspot_1_1twa__reachable__iterator__depth__first.html#ace05793d528361ace8492ec1c699ceb6',1,'spot::twa_reachable_iterator_depth_first::seen()']]],
  ['semantic_5ftype',['semantic_type',['../unionhoayy_1_1parser_1_1semantic__type.html',1,'hoayy::parser']]],
  ['semantic_5ftype',['semantic_type',['../uniontlyy_1_1parser_1_1semantic__type.html',1,'tlyy::parser']]],
  ['set',['set',['../classspot_1_1option__map.html#ad9fb6b43a106db55f9b84b59ed766646',1,'spot::option_map::set(const char *option, int val, int def=0)'],['../classspot_1_1option__map.html#a54ca434ab0eec0f87e1b5bcf71f50785',1,'spot::option_map::set(const option_map &amp;o)']]],
  ['set_5facceptance',['set_acceptance',['../classspot_1_1twa.html#a09d8c50ffda9f409bb813c53df93f227',1,'spot::twa']]],
  ['set_5fbuchi',['set_buchi',['../classspot_1_1twa.html#a23b29bb361b17a9871a2fcd0e097ec67',1,'spot::twa']]],
  ['set_5fdebug_5flevel',['set_debug_level',['../classhoayy_1_1parser.html#ae37002a25ba4cb0f198d011e1c1adb6d',1,'hoayy::parser::set_debug_level()'],['../classtlyy_1_1parser.html#a0cc25fa34bf1345e1919f357e747f2c3',1,'tlyy::parser::set_debug_level()']]],
  ['set_5fdebug_5fstream',['set_debug_stream',['../classhoayy_1_1parser.html#a845520f9e1eb738f2a45e3e192264e51',1,'hoayy::parser::set_debug_stream()'],['../classtlyy_1_1parser.html#a9308a5690f67344e5f35925f147f8f84',1,'tlyy::parser::set_debug_stream()']]],
  ['set_5fgeneralized_5fbuchi',['set_generalized_buchi',['../classspot_1_1twa.html#a1bc1101f35afe718accd802c63685270',1,'spot::twa']]],
  ['set_5flevel',['set_level',['../classspot_1_1postprocessor.html#abec9eedb477a3cd30bb643ef24541fcc',1,'spot::postprocessor']]],
  ['set_5fnamed_5fprop',['set_named_prop',['../classspot_1_1twa.html#a3097bccdb5fcba9bf9bc60063db77f29',1,'spot::twa::set_named_prop(std::string s, void *val, std::function&lt; void(void *)&gt; destructor)'],['../classspot_1_1twa.html#a655805e78acd341da38ca215454008f4',1,'spot::twa::set_named_prop(std::string s, T *val)'],['../classspot_1_1twa.html#a490b3a9cef9d5b231e30a4ec963a425f',1,'spot::twa::set_named_prop(std::string s, std::nullptr_t)']]],
  ['set_5foutput',['set_output',['../classspot_1_1formater.html#a2d321a5ed339b3bf33869dc3c8933e2e',1,'spot::formater']]],
  ['set_5fpref',['set_pref',['../classspot_1_1postprocessor.html#a1d11317115fdc3615576c78b23730092',1,'spot::postprocessor']]],
  ['set_5fstate',['set_state',['../classspot_1_1set__state.html',1,'spot']]],
  ['set_5fstr',['set_str',['../classspot_1_1option__map.html#a4d8d4504019adb99748d763c5040420a',1,'spot::option_map']]],
  ['set_5ftype',['set_type',['../classspot_1_1postprocessor.html#adfe4389388a824a09a1b34aa30652f48',1,'spot::postprocessor']]],
  ['simplify',['simplify',['../classspot_1_1tl__simplifier.html#a31a9439603b494c7471b1ad096179886',1,'spot::tl_simplifier::simplify()'],['../structspot_1_1twa__word.html#adfed12cbdd7132ed588c1d74d3ea001f',1,'spot::twa_word::simplify()']]],
  ['simulation',['simulation',['../group__twa__reduction.html#ga5b03bdcc14d765feb878aa437b845acd',1,'spot']]],
  ['size',['size',['../classspot_1_1bitvect__array.html#a2853984ba77df3d952dc968fbdad5b05',1,'spot::bitvect_array::size()'],['../classspot_1_1scc__stack__ta.html#a5c80fb3fafd706a720fcd00b2b838493',1,'spot::scc_stack_ta::size()'],['../classspot_1_1fnode.html#a24ae11a777687b87325b1aef2f1ffc1f',1,'spot::fnode::size()'],['../classspot_1_1formula.html#acdcfff906333e868bf1f020f98dca4b5',1,'spot::formula::size()'],['../classspot_1_1scc__stack.html#a627055834783bbe23e93aa061bc5f7d3',1,'spot::scc_stack::size()']]],
  ['slice',['slice',['../classhoayy_1_1slice.html',1,'hoayy']]],
  ['slice',['slice',['../classtlyy_1_1slice.html',1,'tlyy']]],
  ['sort_5fedges_5f',['sort_edges_',['../singletonspot_1_1digraph.html#a01518414dfc082ad1771a1c0354bcc15',1,'spot::digraph']]],
  ['srand',['srand',['../group__random.html#ga539812ab355a561fee1ecbfe60b276e4',1,'spot']]],
  ['stack',['stack',['../classhoayy_1_1stack.html',1,'hoayy']]],
  ['stack',['stack',['../classtlyy_1_1stack.html',1,'tlyy']]],
  ['stack_3c_20stack_5fsymbol_5ftype_20_3e',['stack&lt; stack_symbol_type &gt;',['../classtlyy_1_1stack.html',1,'tlyy::stack&lt; stack_symbol_type &gt;'],['../classhoayy_1_1stack.html',1,'hoayy::stack&lt; stack_symbol_type &gt;']]],
  ['stack_5fitem',['stack_item',['../structspot_1_1twa__reachable__iterator__depth__first_1_1stack__item.html',1,'spot::twa_reachable_iterator_depth_first']]],
  ['star',['Star',['../classspot_1_1formula.html#a6d8ab98a44fc64093425f3a8cbc87ca3',1,'spot::formula::Star(const formula &amp;f, uint8_t min=0U, uint8_t max=unbounded())'],['../classspot_1_1formula.html#addb2d6e0fba15f48b54eb32257628ee2',1,'spot::formula::Star(formula &amp;&amp;f, uint8_t min=0U, uint8_t max=unbounded())'],['../group__tl__essentials.html#gga770300a8f53109afba0868269371e442a26f93e6e68e28a698377e941cb59f29a',1,'spot::Star()']]],
  ['star_5fnormal_5fform',['star_normal_form',['../classspot_1_1tl__simplifier.html#ae14c6fbd84c0a5c11e16f5675050c590',1,'spot::tl_simplifier']]],
  ['start',['start',['../structspot_1_1stopwatch.html#a11d6179774829f77287f54f2464a4db7',1,'spot::stopwatch::start()'],['../classspot_1_1timer.html#a55c6674711dab0e67008dc378011e46d',1,'spot::timer::start()'],['../classspot_1_1timer__map.html#a85d4bf24749d93be6dcbb5e66aacd249',1,'spot::timer_map::start()'],['../classspot_1_1ta__reachable__iterator.html#af891fcf3bba10f78aecf301ad2235cb5',1,'spot::ta_reachable_iterator::start()'],['../classspot_1_1twa__reachable__iterator.html#a793fb62286bb5014b4e60319dd7485b8',1,'spot::twa_reachable_iterator::start()'],['../classspot_1_1twa__reachable__iterator__depth__first.html#af3a3ee8c5e64cd137a7bc9e6c6ea9e2b',1,'spot::twa_reachable_iterator_depth_first::start()']]],
  ['stat_5fprinter',['stat_printer',['../classspot_1_1stat__printer.html',1,'spot']]],
  ['state',['state',['../classspot_1_1state.html',1,'spot']]],
  ['state_5facceptance_5fmark',['state_acceptance_mark',['../classspot_1_1fair__kripke.html#a4a27986ed4291292ec5312ca03d5ae5b',1,'spot::fair_kripke::state_acceptance_mark()'],['../classspot_1_1kripke.html#ae249bc55d48c09888013275ceff90a18',1,'spot::kripke::state_acceptance_mark()']]],
  ['state_5fbased',['state_based',['../structspot_1_1twa_1_1prop__set.html#ad44a0435a381b3d76fbf0978c9a2fd51',1,'spot::twa::prop_set']]],
  ['state_5fcondition',['state_condition',['../classspot_1_1fair__kripke.html#ab82a2fe269593fecab7c63d0c4c9ac03',1,'spot::fair_kripke::state_condition()'],['../classspot_1_1kripke__graph.html#af7d7b73d9402f75d1551bca2194b8fe3',1,'spot::kripke_graph::state_condition()']]],
  ['state_5fdata',['state_data',['../singletonspot_1_1digraph.html#ab74da1c09a4f7b2024beaae6ea784477',1,'spot::digraph::state_data(state s)'],['../singletonspot_1_1digraph.html#a8b60e4ec351e0c7fd1519994a72f1911',1,'spot::digraph::state_data(state s) const ']]],
  ['state_5finfo',['state_info',['../structhoayy__support_1_1result___1_1state__info.html',1,'hoayy_support::result_']]],
  ['state_5finfo',['state_info',['../structspot_1_1enumerate__cycles_1_1state__info.html',1,'spot::enumerate_cycles']]],
  ['state_5fout',['state_out',['../classspot_1_1internal_1_1state__out.html',1,'spot::internal']]],
  ['state_5fproduct',['state_product',['../classspot_1_1state__product.html',1,'spot']]],
  ['state_5fproduct',['state_product',['../classspot_1_1state__product.html#a65592b138d1d074ec2e44f1a46a76906',1,'spot::state_product']]],
  ['state_5fptr_5fequal',['state_ptr_equal',['../structspot_1_1state__ptr__equal.html',1,'spot']]],
  ['state_5fptr_5fhash',['state_ptr_hash',['../structspot_1_1state__ptr__hash.html',1,'spot']]],
  ['state_5fptr_5fless_5fthan',['state_ptr_less_than',['../structspot_1_1state__ptr__less__than.html',1,'spot']]],
  ['state_5fshared_5fptr_5fequal',['state_shared_ptr_equal',['../structspot_1_1state__shared__ptr__equal.html',1,'spot']]],
  ['state_5fshared_5fptr_5fhash',['state_shared_ptr_hash',['../structspot_1_1state__shared__ptr__hash.html',1,'spot']]],
  ['state_5fshared_5fptr_5fless_5fthan',['state_shared_ptr_less_than',['../structspot_1_1state__shared__ptr__less__than.html',1,'spot']]],
  ['state_5fsize',['state_size',['../classspot_1_1ltsmin__model.html#aa0244749e3cee56afcce27667253d8a7',1,'spot::ltsmin_model']]],
  ['state_5fstorage',['state_storage',['../singletonspot_1_1digraph.html#ada650fde4f2b94e220113cbe43d947e1',1,'spot::digraph::state_storage(state s)'],['../singletonspot_1_1digraph.html#adc648cefd8a0130c125215ed8f25b7c3',1,'spot::digraph::state_storage(state s) const ']]],
  ['state_5fta_5fexplicit',['state_ta_explicit',['../classspot_1_1state__ta__explicit.html',1,'spot']]],
  ['state_5fta_5fproduct',['state_ta_product',['../classspot_1_1state__ta__product.html#a444db3f7d63bfa1129fa50ae77d33eda',1,'spot::state_ta_product']]],
  ['state_5fta_5fproduct',['state_ta_product',['../classspot_1_1state__ta__product.html',1,'spot']]],
  ['state_5funicity_5ftable',['state_unicity_table',['../classspot_1_1state__unicity__table.html',1,'spot']]],
  ['state_5fvariable_5fname',['state_variable_name',['../classspot_1_1ltsmin__model.html#a2cf303ed80369a1ee6ba738ad219bc15',1,'spot::ltsmin_model']]],
  ['state_5fvariable_5ftype',['state_variable_type',['../classspot_1_1ltsmin__model.html#a0143b58958947f7a4fbc7309ee07cf1d',1,'spot::ltsmin_model']]],
  ['states',['states',['../singletonspot_1_1digraph.html#a26f0114bf2e3c0fd88ba383fbf3b3dab',1,'spot::digraph::states() const '],['../singletonspot_1_1digraph.html#af4397da3799a7a9570157249e74bd0e6',1,'spot::digraph::states()'],['../classspot_1_1couvreur99__check__status.html#ac0dad048c592f621dd9cbc8e76c72d3d',1,'spot::couvreur99_check_status::states()']]],
  ['statistics',['statistics',['../classspot_1_1emptiness__check__result.html#a0d0bebd88677d1a0221f8263692f1b17',1,'spot::emptiness_check_result::statistics()'],['../classspot_1_1emptiness__check.html#a35f1119514acb36b217a7701bbf4b6f0',1,'spot::emptiness_check::statistics()']]],
  ['stats_5freachable',['stats_reachable',['../group__ta__misc.html#gaa81c227ad2b88a19b984369ccee77461',1,'spot::stats_reachable(const const_ta_ptr &amp;t)'],['../group__twa__misc.html#ga9ee1795ccf7880f19003d047dddc2276',1,'spot::stats_reachable(const const_twa_ptr &amp;g)']]],
  ['step',['step',['../structspot_1_1twa__run_1_1step.html',1,'spot::twa_run']]],
  ['step_5f',['step_',['../classspot_1_1ta__succ__iterator__product.html#ab6ab78f0e28cd4ed299b823e87b894ed',1,'spot::ta_succ_iterator_product']]],
  ['stime',['stime',['../classspot_1_1timer.html#a87c8d0c9bed27d39846f0ec421daffbb',1,'spot::timer']]],
  ['stop',['stop',['../structspot_1_1stopwatch.html#af06f1a9166ffbd9f96bbf6a7d6fbf34e',1,'spot::stopwatch::stop()'],['../classspot_1_1timer.html#a34330e7a7a879a13b2dfb60df84867cd',1,'spot::timer::stop()'],['../classspot_1_1timer__map.html#a709679565ddbc19293c6f63138367911',1,'spot::timer_map::stop()']]],
  ['stopwatch',['stopwatch',['../structspot_1_1stopwatch.html',1,'spot']]],
  ['str_5flatex_5fpsl',['str_latex_psl',['../group__tl__io.html#gabea4ddcf26a0bb9af1a3d09d60209540',1,'spot']]],
  ['str_5flatex_5fsere',['str_latex_sere',['../group__tl__io.html#ga3244959de065ac3fb8146567146c2740',1,'spot']]],
  ['str_5flbt_5fltl',['str_lbt_ltl',['../group__tl__io.html#ga232a1cc3c42618ce2a4e732c654c96c1',1,'spot']]],
  ['str_5fpsl',['str_psl',['../group__tl__io.html#gaf5e8cd2ee25525ea437348144387ad7e',1,'spot']]],
  ['str_5fsclatex_5fpsl',['str_sclatex_psl',['../group__tl__io.html#gabb4b3fb4ba6a9144361aa13c02a07d28',1,'spot']]],
  ['str_5fsclatex_5fsere',['str_sclatex_sere',['../group__tl__io.html#ga77e9e425e19da9766ead16141cf2ae0a',1,'spot']]],
  ['str_5fsere',['str_sere',['../group__tl__io.html#ga2bd0fbba3d12fa30549fb84fe8fa6b53',1,'spot']]],
  ['str_5fspin_5fltl',['str_spin_ltl',['../group__tl__io.html#ga909be94c7d2f509c27a93e1ed2bab447',1,'spot']]],
  ['str_5futf8_5fpsl',['str_utf8_psl',['../group__tl__io.html#ga6f35405fad8b2e798d4fd755450c573e',1,'spot']]],
  ['str_5futf8_5fsere',['str_utf8_sere',['../group__tl__io.html#gaac308d047e8b57045de12db529aec2c2',1,'spot']]],
  ['str_5fwring_5fltl',['str_wring_ltl',['../group__tl__io.html#gab9ec5a9602e1b7f656e7432ca202db34',1,'spot']]],
  ['string_5fhash',['string_hash',['../group__hash__funcs.html#ga9e084716c663a3de1ad67a201dffd483',1,'spot']]],
  ['strip_5facceptance_5fhere',['strip_acceptance_here',['../group__twa__misc.html#ga2095ba23baa14b20a4f995713e2326cb',1,'spot']]],
  ['stutter_5finv',['stutter_inv',['../structspot_1_1twa_1_1prop__set.html#a3b3bdcb3ed2d6bc440177b7932df0b0c',1,'spot::twa::prop_set']]],
  ['sub_5fstats_5freachable',['sub_stats_reachable',['../group__twa__misc.html#gae7d3a6cd02025bcfe67487b8e7eedc98',1,'spot']]],
  ['succ',['succ',['../classspot_1_1twa.html#a92b36c73c4ccec81b2fd3b6c9f0a50eb',1,'spot::twa']]],
  ['succ_5fiter',['succ_iter',['../classspot_1_1kripke__graph.html#a3f1537d6da246c88758046790992a49c',1,'spot::kripke_graph::succ_iter()'],['../classspot_1_1ta.html#af0b2f71c85c0dd17b850197537a383bc',1,'spot::ta::succ_iter(const spot::state *state) const =0'],['../classspot_1_1ta.html#af9ebc32d6cc33044f538c25b07eb09bd',1,'spot::ta::succ_iter(const spot::state *state, bdd changeset) const =0'],['../classspot_1_1ta__explicit.html#a18b3e301c2283556086e8a7d4d8ae523',1,'spot::ta_explicit::succ_iter(const spot::state *s) const override'],['../classspot_1_1ta__explicit.html#a4a0fb6ebf88d53dfaba9b77375dad7a4',1,'spot::ta_explicit::succ_iter(const spot::state *s, bdd condition) const override'],['../classspot_1_1ta__product.html#a38f2da01556e0bac727b3bbf144d85c0',1,'spot::ta_product::succ_iter(const spot::state *s) const override'],['../classspot_1_1ta__product.html#afe341cef726baa0e5539134d90c94f0e',1,'spot::ta_product::succ_iter(const spot::state *s, bdd changeset) const override'],['../classspot_1_1tgta__explicit.html#a1cc4b54ccd98b3f825f8dd8fb88b92df',1,'spot::tgta_explicit::succ_iter()'],['../classspot_1_1tgta__product.html#a46a476754355d7bc4004c27f4e1f051c',1,'spot::tgta_product::succ_iter()'],['../classspot_1_1taa__tgba.html#a43b58be4172efc1e88e0645adab581a7',1,'spot::taa_tgba::succ_iter()'],['../classspot_1_1twa.html#aa4fbf0e6d8e7cfeeacc533ebd0aa1789',1,'spot::twa::succ_iter()'],['../classspot_1_1twa__product.html#ac8c0c2e5660407e359a3f32ffd38cc42',1,'spot::twa_product::succ_iter()']]],
  ['succ_5fiter_5fby_5fchangeset',['succ_iter_by_changeset',['../classspot_1_1tgta.html#a4a1fb4042c7b97f1b7cd9f8da696025d',1,'spot::tgta::succ_iter_by_changeset()'],['../classspot_1_1tgta__explicit.html#a64ff7c1638f76b8c2ae27296c8e50362',1,'spot::tgta_explicit::succ_iter_by_changeset()']]],
  ['succ_5fiterator',['succ_iterator',['../structspot_1_1internal_1_1succ__iterator.html',1,'spot::internal']]],
  ['successor',['successor',['../structspot_1_1couvreur99__check__shy_1_1successor.html',1,'spot::couvreur99_check_shy']]],
  ['sugar_5fequal',['sugar_equal',['../classspot_1_1formula.html#a6fd73e2c6725dda6a8ec362b68036f85',1,'spot::formula']]],
  ['sugar_5fgoto',['sugar_goto',['../classspot_1_1formula.html#a35c167d8250c218189ec59a5715e5332',1,'spot::formula']]],
  ['super_5ftype',['super_type',['../structhoayy_1_1parser_1_1basic__symbol.html#a1baec4dd0a9af7fcec41641cc5ba04cf',1,'hoayy::parser::basic_symbol::super_type()'],['../structtlyy_1_1parser_1_1basic__symbol.html#acdaf4b7519e31c8558dc2034d1adfe7b',1,'tlyy::parser::basic_symbol::super_type()']]],
  ['symbol_5fnumber_5ftype',['symbol_number_type',['../classhoayy_1_1parser.html#a93f607e148ba621da50c6a5ddd0d97b4',1,'hoayy::parser::symbol_number_type()'],['../classtlyy_1_1parser.html#a06b4c536c9fc88397aa285b7ad012f01',1,'tlyy::parser::symbol_number_type()']]],
  ['symbol_5ftype',['symbol_type',['../classhoayy_1_1parser.html#a750a06563abd48390cece0aed8b87411',1,'hoayy::parser::symbol_type()'],['../classtlyy_1_1parser.html#ab23171a99ff68620fa64a5379c7319fb',1,'tlyy::parser::symbol_type()']]],
  ['syntactic_5fimplication',['syntactic_implication',['../classspot_1_1tl__simplifier.html#a4b18eec50d0ec475e32f332988a2bf57',1,'spot::tl_simplifier']]],
  ['syntactic_5fimplication_5fneg',['syntactic_implication_neg',['../classspot_1_1tl__simplifier.html#af14e8f46b2ca0ff0960fbcb7ebd3beec',1,'spot::tl_simplifier']]],
  ['syntax_5ferror',['syntax_error',['../structhoayy_1_1parser_1_1syntax__error.html',1,'hoayy::parser']]],
  ['syntax_5ferror',['syntax_error',['../structtlyy_1_1parser_1_1syntax__error.html',1,'tlyy::parser']]]
];
