var searchData=
[
  ['r',['R',['../classspot_1_1formula.html#ad9d9f94b30466969ed548c48784d8963',1,'spot::formula::R(const formula &amp;f, const formula &amp;g)'],['../classspot_1_1formula.html#afb6e4c0fe8a7c04aad474c1e96b828c4',1,'spot::formula::R(const formula &amp;f, formula &amp;&amp;g)'],['../classspot_1_1formula.html#a3b4b5dd56cee11dbb9579a5366a42133',1,'spot::formula::R(formula &amp;&amp;f, const formula &amp;g)'],['../classspot_1_1formula.html#aab42645f3b6d7161686d0b734845d01c',1,'spot::formula::R(formula &amp;&amp;f, formula &amp;&amp;g)'],['../group__tl__essentials.html#gga770300a8f53109afba0868269371e442ae1e1d3d40573127e9ee0480caf1283d6',1,'spot::R()']]],
  ['raise_5ferrors',['raise_errors',['../structspot_1_1automaton__parser__options.html#aca612f0ee657f37d1badc997afcc00ed',1,'spot::automaton_parser_options']]],
  ['randltlgenerator',['randltlgenerator',['../classspot_1_1randltlgenerator.html',1,'spot']]],
  ['random_20functions',['Random functions',['../group__random.html',1,'']]],
  ['random_5fboolean',['random_boolean',['../classspot_1_1random__boolean.html',1,'spot']]],
  ['random_5fboolean',['random_boolean',['../classspot_1_1random__boolean.html#a26232b43770954e44a9a4663053b0b5a',1,'spot::random_boolean']]],
  ['random_5fformula',['random_formula',['../classspot_1_1random__formula.html',1,'spot']]],
  ['random_5fgraph',['random_graph',['../group__twa__misc.html#ga39cf0138551ca959003240124c5956cb',1,'spot']]],
  ['random_5fltl',['random_ltl',['../classspot_1_1random__ltl.html',1,'spot']]],
  ['random_5fltl',['random_ltl',['../classspot_1_1random__ltl.html#ab62bca7a0dc5954cf48d275f75550659',1,'spot::random_ltl']]],
  ['random_5fpsl',['random_psl',['../classspot_1_1random__psl.html',1,'spot']]],
  ['random_5fpsl',['random_psl',['../classspot_1_1random__psl.html#af7b808fba9101dc6bb7b9a3e6417c7a0',1,'spot::random_psl']]],
  ['random_5fsere',['random_sere',['../classspot_1_1random__sere.html',1,'spot']]],
  ['random_5fsere',['random_sere',['../classspot_1_1random__sere.html#adcddaf288a73d50ad16a2424fab62a00',1,'spot::random_sere']]],
  ['reduce',['reduce',['../structspot_1_1twa__run.html#a10f958fbafa981bee090cf6357bef862',1,'spot::twa_run']]],
  ['ref_5fset',['ref_set',['../classspot_1_1bdd__dict.html#a015d330da101dd646875b8ed1613a2d6',1,'spot::bdd_dict']]],
  ['register_5facceptance_5fvariable',['register_acceptance_variable',['../classspot_1_1bdd__dict.html#a178f861dd8f92c74235bd1d06d1cf3d1',1,'spot::bdd_dict::register_acceptance_variable(formula f, const void *for_me)'],['../classspot_1_1bdd__dict.html#aea05f88cf69ae6d69f6deeb003c03776',1,'spot::bdd_dict::register_acceptance_variable(formula f, std::shared_ptr&lt; T &gt; for_me)']]],
  ['register_5fall_5fpropositions_5fof',['register_all_propositions_of',['../classspot_1_1bdd__dict.html#a9458b22f9411ad3299b3bc4d538d24ff',1,'spot::bdd_dict::register_all_propositions_of(const void *from_other, const void *for_me)'],['../classspot_1_1bdd__dict.html#a15c98cd0342bb977bb25ba1aeaac5b92',1,'spot::bdd_dict::register_all_propositions_of(const void *from_other, std::shared_ptr&lt; T &gt; for_me)'],['../classspot_1_1bdd__dict.html#a35b3db4ea7b998b3c87c17246e4a6acf',1,'spot::bdd_dict::register_all_propositions_of(std::shared_ptr&lt; T &gt; from_other, const void *for_me)'],['../classspot_1_1bdd__dict.html#a0edcf2fd422fb51b3c14a9f99cdd68fb',1,'spot::bdd_dict::register_all_propositions_of(std::shared_ptr&lt; T &gt; from_other, std::shared_ptr&lt; U &gt; for_me)']]],
  ['register_5fall_5fvariables_5fof',['register_all_variables_of',['../classspot_1_1bdd__dict.html#af7e1e37179f390322da4d4cbf134b282',1,'spot::bdd_dict::register_all_variables_of(const void *from_other, const void *for_me)'],['../classspot_1_1bdd__dict.html#a82b6d9ccbc004146f25004496447c230',1,'spot::bdd_dict::register_all_variables_of(const void *from_other, std::shared_ptr&lt; T &gt; for_me)'],['../classspot_1_1bdd__dict.html#a37347b7eca75dee887bdbffee6a980a6',1,'spot::bdd_dict::register_all_variables_of(std::shared_ptr&lt; T &gt; from_other, const void *for_me)'],['../classspot_1_1bdd__dict.html#ad3b7c0358d6954cf6b9c84d9c24c87b2',1,'spot::bdd_dict::register_all_variables_of(std::shared_ptr&lt; T &gt; from_other, std::shared_ptr&lt; U &gt; for_me)']]],
  ['register_5fanonymous_5fvariables',['register_anonymous_variables',['../classspot_1_1bdd__dict.html#a7075f190e5d3a4face68a7a6e129eb95',1,'spot::bdd_dict::register_anonymous_variables(int n, const void *for_me)'],['../classspot_1_1bdd__dict.html#ac95b78c3bbe1deb24901ed3a9b33ec75',1,'spot::bdd_dict::register_anonymous_variables(int n, std::shared_ptr&lt; T &gt; for_me)']]],
  ['register_5fap',['register_ap',['../classspot_1_1twa.html#afe579bbb98cf4d4a67f5f1f567528da3',1,'spot::twa::register_ap(formula ap)'],['../classspot_1_1twa.html#ae9776f338295ea9de3df69910e78eb60',1,'spot::twa::register_ap(std::string ap)']]],
  ['register_5faps_5ffrom_5fdict',['register_aps_from_dict',['../classspot_1_1twa.html#ad7067f2beeee73198a6a4d0f324f711a',1,'spot::twa']]],
  ['register_5fproposition',['register_proposition',['../classspot_1_1bdd__dict.html#a61e3d0ba1b765a3118d02ce147de0326',1,'spot::bdd_dict::register_proposition(formula f, const void *for_me)'],['../classspot_1_1bdd__dict.html#a676b233c5a86b721b2e5466ef45c4c6a',1,'spot::bdd_dict::register_proposition(formula f, std::shared_ptr&lt; T &gt; for_me)']]],
  ['relabel',['relabel',['../group__tl__rewriting.html#ga9c3fd68661d5312cd4bdb09ba69d8ba8',1,'spot']]],
  ['relabel_5fbse',['relabel_bse',['../group__tl__rewriting.html#gabb67c5e4031288d03a3bf95fa1597e57',1,'spot']]],
  ['release_5fiter',['release_iter',['../classspot_1_1twa.html#a7184271f974c51f3e82738f34c84499f',1,'spot::twa']]],
  ['release_5fnamed_5fproperties',['release_named_properties',['../classspot_1_1twa.html#a2dee95ed9d469a4da407d6088e0580ac',1,'spot::twa']]],
  ['rem',['rem',['../classspot_1_1scc__stack__ta.html#a61d71e91360da1731177fa644e43d102',1,'spot::scc_stack_ta::rem()'],['../classspot_1_1scc__stack.html#a74f1cf725431e87096f4823bc0d19bcf',1,'spot::scc_stack::rem()']]],
  ['remove_5fap',['remove_ap',['../classspot_1_1remove__ap.html',1,'spot']]],
  ['remove_5fcomponent',['remove_component',['../classspot_1_1couvreur99__check.html#a3b48d6451f133c57c7d62b8946d6339b',1,'spot::couvreur99_check']]],
  ['remove_5fdead_5fedges_5f',['remove_dead_edges_',['../singletonspot_1_1digraph.html#a74d6cba9d01bb6b3f2039d02288727c7',1,'spot::digraph']]],
  ['removed_5fcomponents',['removed_components',['../classspot_1_1couvreur99__check.html#afef1267ab1a6dbb03961e88cc718da42',1,'spot::couvreur99_check']]],
  ['rename_5fstates_5f',['rename_states_',['../singletonspot_1_1digraph.html#a95e5e88ea444948b605036deb2114807',1,'spot::digraph']]],
  ['replay',['replay',['../structspot_1_1twa__run.html#a0179599b9785ee16015ec3aa31340e76',1,'spot::twa_run']]],
  ['report_5funused_5foptions',['report_unused_options',['../classspot_1_1option__map.html#a7ad9708a61f98196cf46d566b787f829',1,'spot::option_map']]],
  ['require',['require',['../classspot_1_1declarative__environment.html#a4a602d6c804add1b91992dd56d308623',1,'spot::declarative_environment::require()'],['../classspot_1_1default__environment.html#a6e126e3ae068227adad825e6d18c8e20',1,'spot::default_environment::require()'],['../classspot_1_1environment.html#ad9597177678501d5f7a9debe8462c1ac',1,'spot::environment::require()']]],
  ['reserve_5fblocks',['reserve_blocks',['../classspot_1_1bitvect.html#a1683bdf11b2ac71217e5614975c8e038',1,'spot::bitvect']]],
  ['reset_5fall',['reset_all',['../classspot_1_1timer__map.html#af2293403679d234d686f650ba564cf35',1,'spot::timer_map']]],
  ['result',['result',['../classspot_1_1couvreur99__check.html#accdc6085653427c91a66d2604064cd8d',1,'spot::couvreur99_check']]],
  ['result_5f',['result_',['../structhoayy__support_1_1result__.html',1,'hoayy_support']]],
  ['rrand',['rrand',['../group__random.html#ga86ce713fe60de9af440a7331de74aa1a',1,'spot']]],
  ['rs',['rs',['../classspot_1_1random__psl.html#a646dc78f619a02a8319e734bb8254efd',1,'spot::random_psl']]],
  ['run',['run',['../classspot_1_1satsolver__command.html#ae1d1bc1f51ed2b4e470da109f57c6256',1,'spot::satsolver_command::run()'],['../classspot_1_1ta__reachable__iterator.html#a454e2ac517cf0d7e95512e227672b2a4',1,'spot::ta_reachable_iterator::run()'],['../classspot_1_1enumerate__cycles.html#a8183feda2fb77c100c3b5ec23701ab44',1,'spot::enumerate_cycles::run()'],['../classspot_1_1postprocessor.html#ad690646034b5ca8e991e908d9db46fd0',1,'spot::postprocessor::run()'],['../classspot_1_1twa__reachable__iterator.html#a75e77d55cc2523e8be1dbf2b3e4c9def',1,'spot::twa_reachable_iterator::run()'],['../classspot_1_1twa__reachable__iterator__depth__first.html#a4e2fec29e60a22a1e3de42cdad537973',1,'spot::twa_reachable_iterator_depth_first::run()'],['../classspot_1_1translator.html#a36cdf71031732eddd084eb3abbbb5738',1,'spot::translator::run(formula f)'],['../classspot_1_1translator.html#af9776dbeeba8298615e912633e9e4c47',1,'spot::translator::run(formula *f)']]],
  ['rewriting_20algorithms_20for_20formulas',['Rewriting Algorithms for Formulas',['../group__tl__rewriting.html',1,'']]]
];
