lps2pbes_sat.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::detail::sat_traverser< Derived, TermTraits >
struct	mcrl2::pbes_system::detail::apply_sat_traverser< Traverser, TermTraits >

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

Functions
template<typename TermTraits >
TermTraits::term_type	mcrl2::pbes_system::detail::Sat (const lps::multi_action &a, const action_formulas::action_formula &x, data::set_identifier_generator &id_generator, TermTraits tr)

Detailed Description

add your file description here.

Definition in file lps2pbes_sat.h.