faudes::PCandidate Class Reference

Detailed Description

Definition at line 238 of file pev_abstraction.h.

#include <pev_abstraction.h>

Public Member Functions
	PCandidate (void)
	PCandidate (Generator &goi, EventSet pevs)
	PCandidate (Generator &goi, ProductCompositionMap map, std::pair< Candidate *, Candidate * > pair, EventSet pevs)
EventSet	PSilentevs ()
EventSet	Pevs ()
void	SetPSilentevs (EventSet psilentevs)
Idx	Ptau ()
void	SetPtau (Idx ptau)
virtual void	HidePrivateEvs (EventSet &silent)
	HidePrivateEvs replace all private events. More...
void	ObservationEquivalenceQuotient_NonPreemptive (Generator &g, const EventSet &silent)
void	ObservationEquivalenceQuotient_Preemptive (Generator &g, const EventSet &silent, const bool &flag)
virtual void	MergeSilentLoops (Generator &g, const EventSet &silent)
virtual void	ConflictEquivalentAbstraction (EventSet &silent)
Public Member Functions inherited from faudes::Candidate
	Candidate (void)
	Candidate (Generator &goi)
	Candidate (Generator &goi, ProductCompositionMap map, std::pair< Candidate *, Candidate * > pair)
virtual	~Candidate ()
Generator	GenRaw ()
Generator	GenHidden ()
Generator	GenMerged ()
std::map< Idx, Idx >	MergeMap ()
std::set< Idx >	FindConcreteStates (Idx abstract)
bool	IsInMergedClass (Idx concrete, Idx abstract)
ProductCompositionMap	ComposeMap ()
std::pair< Candidate *, Candidate * >	DecomposedPair ()
EventSet	Silentevs ()
void	SetSilentevs (EventSet silentevs)
void	ClearComposition ()
Idx	Tau ()
void	SetTau (Idx tau)
void	MergeEquivalenceClasses (Generator &rGen, TransSetX2EvX1 &rRevTrans, const std::list< StateSet > &rClasses, const EventSet &silent)
void	ExtendedTransRel (const Generator &rGen, const EventSet &rSilentAlphabet, TransSet &rXTrans)
void	IncomingTransSet (const Generator &rGen, const EventSet &silent, const Idx &state, std::set< std::pair< Idx, Idx >> &result)
void	ActiveNonTauEvs (const Generator &rGen, const EventSet &silent, const Idx &state, EventSet &result)
void	ObservationEquivalentQuotient (Generator &g, const EventSet &silent)
void	ReverseObservationEquivalentQuotient (Generator &g, const EventSet &silent)
void	WeakObservationEquivalentQuotient (Generator &g, const EventSet &silent)
void	ActiveEventsANDEnabledContinuationRule (Generator &g, const EventSet &silent)
void	RemoveTauSelfloops (Generator &g, const EventSet &silent)
void	RemoveNonCoaccessibleOut (Generator &g)
void	BlockingSilentEvent (Generator &g, const EventSet &silent)
void	MergeNonCoaccessible (Generator &g)
void	BlockingEvent (Generator &g, const EventSet &silent)
void	OnlySilentIncoming (Generator &g, const EventSet &silent)
void	OnlySilentOutgoing (Generator &g, const EventSet &silent)

Private Member Functions
void	DoAssign (PCandidate cand)

Private Attributes
EventSet	mPevs
EventSet	mPSilentevs
Idx	mPtau = 0

Additional Inherited Members
Protected Member Functions inherited from faudes::Candidate
void	DoAssign (Candidate cand)
Protected Attributes inherited from faudes::Candidate
Generator	mGenRaw
Generator	mGenHidden
Generator	mGenMerged
std::map< Idx, Idx >	mMergeMap
EventSet	mSilentevs
Idx	mtau = 0
ProductCompositionMap	mComposeMap
std::pair< Candidate *, Candidate * >	mDecomposedPair

Constructor & Destructor Documentation

PCandidate() [1/3]

faudes::PCandidate::PCandidate ( void  )

inline

Definition at line 240 of file pev_abstraction.h.

PCandidate() [2/3]

faudes::PCandidate::PCandidate ( Generator &  goi, EventSet  pevs  )

inline

Definition at line 241 of file pev_abstraction.h.

PCandidate() [3/3]

faudes::PCandidate::PCandidate ( Generator &  goi, ProductCompositionMap  map, std::pair< Candidate *, Candidate * >  pair, EventSet  pevs  )

inline

Definition at line 242 of file pev_abstraction.h.

Member Function Documentation

ConflictEquivalentAbstraction()

void faudes::PCandidate::ConflictEquivalentAbstraction ( EventSet &  silent )

virtual

Reimplemented from faudes::Candidate.

Definition at line 2460 of file pev_abstraction.cpp.

DoAssign()

void faudes::PCandidate::DoAssign ( PCandidate  cand )

private

Definition at line 128 of file pev_verify.cpp.

HidePrivateEvs()

void faudes::PCandidate::HidePrivateEvs ( EventSet &  silent )

virtual

HidePrivateEvs replace all private events.

Parameters

silent

private events which can be hidden

Reimplemented from faudes::Candidate.

Definition at line 2399 of file pev_abstraction.cpp.

MergeSilentLoops()

void faudes::PCandidate::MergeSilentLoops ( Generator &  g, const EventSet &  silent  )

virtual

Reimplemented from faudes::Candidate.

Definition at line 2395 of file pev_abstraction.cpp.

ObservationEquivalenceQuotient_NonPreemptive()

void faudes::PCandidate::ObservationEquivalenceQuotient_NonPreemptive	(	Generator &	g,
		const EventSet &	silent
	)

Definition at line 2450 of file pev_abstraction.cpp.

ObservationEquivalenceQuotient_Preemptive()

void faudes::PCandidate::ObservationEquivalenceQuotient_Preemptive	(	Generator &	g,
		const EventSet &	silent,
		const bool &	flag
	)

Definition at line 2456 of file pev_abstraction.cpp.

Pevs()

EventSet faudes::PCandidate::Pevs ( )

inline

Definition at line 245 of file pev_abstraction.h.

PSilentevs()

EventSet faudes::PCandidate::PSilentevs ( )

inline

Definition at line 244 of file pev_abstraction.h.

Ptau()

Idx faudes::PCandidate::Ptau ( )

inline

Definition at line 248 of file pev_abstraction.h.

SetPSilentevs()

void faudes::PCandidate::SetPSilentevs ( EventSet  psilentevs )

inline

Definition at line 246 of file pev_abstraction.h.

SetPtau()

void faudes::PCandidate::SetPtau ( Idx  ptau )

inline

Definition at line 249 of file pev_abstraction.h.

Member Data Documentation

mPevs

EventSet faudes::PCandidate::mPevs

private

Definition at line 278 of file pev_abstraction.h.

mPSilentevs

EventSet faudes::PCandidate::mPSilentevs

private

Definition at line 279 of file pev_abstraction.h.

mPtau

Idx faudes::PCandidate::mPtau = 0

private

Definition at line 281 of file pev_abstraction.h.

---

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

• pev_abstraction.h
• pev_abstraction.cpp
• pev_verify.cpp