mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
mcrl2::pbes_system::detail::pre_srf_equation< allow_ce > Class Template Reference

#include <srf_pbes.h>

Public Member Functions

 pre_srf_equation (const fixpoint_symbol &sigma, const propositional_variable &variable, std::vector< pre_srf_summand< allow_ce > > summands, bool conjunctive)
 
const fixpoint_symbol & symbol () const
 
fixpoint_symbol & symbol ()
 
const propositional_variable & variable () const
 
propositional_variable & variable ()
 
const std::vector< pre_srf_summand< allow_ce > > & summands () const
 
std::vector< pre_srf_summand< allow_ce > > & summands ()
 
bool & is_conjunctive ()
 
bool is_conjunctive () const
 
pbes_equation to_pbes () const
 
void make_total (const pre_srf_summand< allow_ce > &true_summand, const pre_srf_summand< allow_ce > &false_summand)
 Ensures that the equation is total, by adding the summands corresponding to true and false.
 

Protected Attributes

fixpoint_symbol m_sigma
 
propositional_variable m_variable
 
std::vector< pre_srf_summand< allow_ce > > m_summands
 
bool m_conjunctive
 

Detailed Description

template<bool allow_ce>
class mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >

Definition at line 190 of file srf_pbes.h.

Constructor & Destructor Documentation

◆ pre_srf_equation()

template<bool allow_ce>
mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::pre_srf_equation ( const fixpoint_symbol &  sigma,
const propositional_variable &  variable,
std::vector< pre_srf_summand< allow_ce > >  summands,
bool  conjunctive 
)
inlineexplicit

Definition at line 199 of file srf_pbes.h.

Member Function Documentation

◆ is_conjunctive() [1/2]

template<bool allow_ce>
bool & mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::is_conjunctive ( )
inline

Definition at line 221 of file srf_pbes.h.

◆ is_conjunctive() [2/2]

template<bool allow_ce>
bool mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::is_conjunctive ( ) const
inline

Definition at line 223 of file srf_pbes.h.

◆ make_total()

template<bool allow_ce>
void mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::make_total ( const pre_srf_summand< allow_ce > &  true_summand,
const pre_srf_summand< allow_ce > &  false_summand 
)
inline

Ensures that the equation is total, by adding the summands corresponding to true and false.

Definition at line 249 of file srf_pbes.h.

◆ summands() [1/2]

template<bool allow_ce>
std::vector< pre_srf_summand< allow_ce > > & mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::summands ( )
inline

Definition at line 219 of file srf_pbes.h.

◆ summands() [2/2]

template<bool allow_ce>
const std::vector< pre_srf_summand< allow_ce > > & mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::summands ( ) const
inline

Definition at line 217 of file srf_pbes.h.

◆ symbol() [1/2]

template<bool allow_ce>
fixpoint_symbol & mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::symbol ( )
inline

Definition at line 211 of file srf_pbes.h.

◆ symbol() [2/2]

template<bool allow_ce>
const fixpoint_symbol & mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::symbol ( ) const
inline

Definition at line 209 of file srf_pbes.h.

◆ to_pbes()

template<bool allow_ce>
pbes_equation mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::to_pbes ( ) const
inline

Definition at line 225 of file srf_pbes.h.

◆ variable() [1/2]

template<bool allow_ce>
propositional_variable & mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::variable ( )
inline

Definition at line 215 of file srf_pbes.h.

◆ variable() [2/2]

template<bool allow_ce>
const propositional_variable & mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::variable ( ) const
inline

Definition at line 213 of file srf_pbes.h.

Member Data Documentation

◆ m_conjunctive

template<bool allow_ce>
bool mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::m_conjunctive
protected

Definition at line 196 of file srf_pbes.h.

◆ m_sigma

template<bool allow_ce>
fixpoint_symbol mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::m_sigma
protected

Definition at line 193 of file srf_pbes.h.

◆ m_summands

template<bool allow_ce>
std::vector<pre_srf_summand<allow_ce> > mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::m_summands
protected

Definition at line 195 of file srf_pbes.h.

◆ m_variable

template<bool allow_ce>
propositional_variable mcrl2::pbes_system::detail::pre_srf_equation< allow_ce >::m_variable
protected

Definition at line 194 of file srf_pbes.h.

The documentation for this class was generated from the following file: