algorithms.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::state_formulas
namespace	mcrl2::state_formulas::algorithms

Functions
state_formula	mcrl2::state_formulas::algorithms::parse_state_formula (std::istream &in, lps::stochastic_specification &spec, const bool formula_is_quantitative)
	Parses a state formula from an input stream.
state_formula	mcrl2::state_formulas::algorithms::parse_state_formula (const std::string &formula_text, lps::stochastic_specification &spec, const bool formula_is_quantitative)
	Parses a state formula from text.
state_formula_specification	mcrl2::state_formulas::algorithms::parse_state_formula_specification (std::istream &in, const bool formula_is_quantitative)
	Parses a state formula specification from an input stream.
state_formula_specification	mcrl2::state_formulas::algorithms::parse_state_formula_specification (const std::string &text, const bool formula_is_quantitative)
	Parses a state formula specification from text.
state_formula_specification	mcrl2::state_formulas::algorithms::parse_state_formula_specification (std::istream &in, lps::stochastic_specification &lpsspec, const bool formula_is_quantitative)
	Parses a state formula specification from an input stream.
state_formula_specification	mcrl2::state_formulas::algorithms::parse_state_formula_specification (const std::string &text, lps::stochastic_specification &lpsspec, const bool formula_is_quantitative)
	Parses a state formula specification from text.
bool	mcrl2::state_formulas::algorithms::is_monotonous (const state_formula &f)
	Returns true if the state formula is monotonous.
state_formula	mcrl2::state_formulas::algorithms::normalize (const state_formula &x)
	Normalizes a state formula, i.e. removes any occurrences of ! or =>.
bool	mcrl2::state_formulas::algorithms::is_normalized (const state_formula &x)
	Checks if a state formula is normalized.
std::set< core::identifier_string >	mcrl2::state_formulas::algorithms::find_state_variable_names (const state_formula &x)
	Returns the names of the state variables that occur in x.

Detailed Description

add your file description here.

Definition in file algorithms.h.