mCRL2
Loading...
Searching...
No Matches
explorer.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes

class  mcrl2::lps::todo_set
 
class  mcrl2::lps::breadth_first_todo_set
 
class  mcrl2::lps::depth_first_todo_set
 
class  mcrl2::lps::highway_todo_set
 
struct  mcrl2::lps::detail::cheap_cache_key
 
struct  mcrl2::lps::detail::cache_equality
 
struct  mcrl2::lps::detail::cache_hash
 
struct  mcrl2::lps::explorer_summand
 
struct  mcrl2::lps::abortable
 
class  mcrl2::lps::explorer< Stochastic, Timed, Specification >
 
struct  mcrl2::lps::explorer< Stochastic, Timed, Specification >::transition
 

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::lps
 The main namespace for the LPS library.
 
namespace  mcrl2::lps::detail
 

Typedefs

typedef atermpp::utilities::unordered_map< atermpp::aterm, atermpp::term_list< data::data_expression_list >, detail::cache_hash, detail::cache_equality, std::allocator< std::pair< atermpp::aterm, atermpp::term_list< data::data_expression_list > > >, true > mcrl2::lps::summand_cache_map
 

Enumerations

enum class  mcrl2::lps::caching { mcrl2::lps::none , mcrl2::lps::local , mcrl2::lps::global }
 

Functions

std::ostream & mcrl2::lps::operator<< (std::ostream &os, caching c)
 
std::vector< data::data_expressionmcrl2::lps::make_data_expression_vector (const data::data_expression_list &v)
 
template<typename Summand >
const stochastic_distributionmcrl2::lps::summand_distribution (const Summand &)
 
template<>
const stochastic_distributionmcrl2::lps::summand_distribution (const lps::stochastic_action_summand &summand)
 
const stochastic_distributionmcrl2::lps::initial_distribution (const lps::specification &)
 
const stochastic_distributionmcrl2::lps::initial_distribution (const lps::stochastic_specification &lpsspec)
 
std::ostream & mcrl2::lps::operator<< (std::ostream &out, const explorer_summand &summand)
 

Detailed Description

add your file description here.

Definition in file explorer.h.