optimized_boolean_operators.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::data
	Namespace for all data library functionality.
namespace	mcrl2::data::detail

Functions
template<typename TermTraits >
void	mcrl2::data::detail::optimized_not (typename TermTraits::term_type &result, const typename TermTraits::term_type &arg, TermTraits)
template<typename TermTraits >
void	mcrl2::data::detail::optimized_and (typename TermTraits::term_type &result, const typename TermTraits::term_type &left, const typename TermTraits::term_type &right, TermTraits)
	Make a conjunction and optimize it if possible.
template<typename TermTraits >
void	mcrl2::data::detail::optimized_or (typename TermTraits::term_type &result, const typename TermTraits::term_type &left, const typename TermTraits::term_type &right, TermTraits)
	Make a disjunction.
template<typename TermTraits >
void	mcrl2::data::detail::optimized_imp (typename TermTraits::term_type &result, const typename TermTraits::term_type &left, const typename TermTraits::term_type &right, TermTraits t)
	Make an implication.
template<typename TermTraits >
void	mcrl2::data::detail::optimized_forall (typename TermTraits::term_type &result, const typename TermTraits::variable_sequence_type &v, const typename TermTraits::term_type &arg, bool remove_variables, bool empty_domain_allowed, TermTraits)
	Make a universal quantification.
template<typename TermTraits >
void	mcrl2::data::detail::optimized_exists (typename TermTraits::term_type &result, const typename TermTraits::variable_sequence_type &v, const typename TermTraits::term_type &arg, bool remove_variables, bool empty_domain_allowed, TermTraits)
	Make an existential quantification.
template<typename Term >
void	mcrl2::data::optimized_not (Term &result, const Term &arg)
	Make a negation.
template<typename Term >
void	mcrl2::data::optimized_and (Term &result, const Term &p, const Term &q)
	Make a conjunction, and optimize if possible.
template<typename Term >
void	mcrl2::data::optimized_or (Term &result, const Term &p, const Term &q)
	Make a conjunction, and optimize if possible.
template<typename Term >
void	mcrl2::data::optimized_imp (Term &result, const Term &p, const Term &q)
	Make an implication.
template<typename Term , typename VariableSequence >
void	mcrl2::data::optimized_forall (Term &result, const VariableSequence &l, const Term &p, bool remove_variables=false)
	Make a universal quantification.
template<typename Term , typename VariableSequence >
void	mcrl2::data::optimized_forall_no_empty_domain (Term &result, const VariableSequence &l, const Term &p, bool remove_variables=false)
	Make a universal quantification.
template<typename Term , typename VariableSequence >
void	mcrl2::data::optimized_exists (Term &result, const VariableSequence &l, const Term &p, bool remove_variables=false)
	Make an existential quantification.
template<typename Term , typename VariableSequence >
void	mcrl2::data::optimized_exists_no_empty_domain (Term &result, const VariableSequence &l, const Term &p, bool remove_variables=false)
	Make an existential quantification.

Detailed Description

add your file description here.

Definition in file optimized_boolean_operators.h.