pev_abstraction.h File Reference

#include "pev_pgenerator.h"

Go to the source code of this file.

Classes
class	faudes::Candidate
class	faudes::PCandidate
class	faudes::SynchCandidates

Namespaces
	faudes

Macros
#define	PCOMPVER_VERB2(msg)
#define	PCOMPVER_VERB1(msg)
#define	PCOMPVER_VERB0(msg)

Functions
void	faudes::AppendOmega (Generator &rGen)
void	faudes::ShapePriorities (vGenerator &rGen, const EventPriorities &rPrios)
void	faudes::ShapePriorities (pGenerator &rPGen)
void	faudes::ShapeUpsilon (pGenerator &rPGen, const EventSet &rUpsilon)
void	faudes::ShapePreemption (Generator &rGen, const EventSet &pevs)
FAUDES_API bool	faudes::IsShaped (const pGenerator &rPGen, const EventSet &pevs)
bool	faudes::IsPFNonblocking (const GeneratorVector &rGvec, const EventPriorities &rPrios, const std::vector< FairnessConstraints > &rFairVec)
bool	faudes::IsPNonblocking (const GeneratorVector &rGvec, const EventPriorities &rPrios)

Detailed Description

Conflict preserving abstractions

Definition in file pev_abstraction.h.

Macro Definition Documentation

PCOMPVER_VERB0

#define PCOMPVER_VERB0

(

msg

)

Value:

  { if((!faudes::ConsoleOut::G()->Mute()) && (faudes::ConsoleOut::G()->Verb() >=0 )) { \
      std::ostringstream cfl_line; cfl_line << msg << std::endl; faudes::ConsoleOut::G()->Write(cfl_line.str(),0,0,0);} }

Definition at line 33 of file pev_abstraction.h.

PCOMPVER_VERB1

#define PCOMPVER_VERB1

(

msg

)

Value:

  { if((!faudes::ConsoleOut::G()->Mute()) && (faudes::ConsoleOut::G()->Verb() >=1 )) { \
      std::ostringstream cfl_line; cfl_line << msg << std::endl; faudes::ConsoleOut::G()->Write(cfl_line.str(),0,0,0);} }

Definition at line 30 of file pev_abstraction.h.

PCOMPVER_VERB2

#define PCOMPVER_VERB2

(

msg

)

Value:

  { if((!faudes::ConsoleOut::G()->Mute()) && (faudes::ConsoleOut::G()->Verb() >=2 )) { \
      std::ostringstream cfl_line; cfl_line << msg << std::endl; faudes::ConsoleOut::G()->Write(cfl_line.str(),0,0,0);} }

Definition at line 27 of file pev_abstraction.h.