Public Member Functions | Static Public Member Functions | Public Attributes | Private Member Functions | Private Attributes

MaxPlusAnalysis::State Class Reference

#include <mpstorage.h>

Collaboration diagram for MaxPlusAnalysis::State:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 State (Graph *G)
 State (size_t sz)
 ~State ()
State * copy ()
MPTime consume (Port *p)
MPTime consume (Port *p, int n)
MPTime consume_back (Port *p)
void produce (Port *p, MPTime t)
void produce_front (Port *p, MPTime t)
bool actorEnabled (Actor *a)
bool actorReverseEnabled (Actor *a)
size_t hashValue () const
bool compare (const State *s) const
bool equals (const State *s) const
State * minus (State *v) const
void add (double factor, State *v)
void maxWith (double offset, State *v)
Token * firstToken ()
MPDelay normalize ()
MPTime norm ()
void smooth (State *y)
void streamOn (std::ostream &s)
vector< double > * asStdVector (void)
MaxPlus::Vector * asVector (void)

Static Public Member Functions

static State * zeroState (Graph *G)
static State * fromVector (Graph *G, MaxPlus::Vector *v)
static State * zeroScheduleState (Graph *G)

Public Attributes

MPTime timestamp
unsigned int count

Private Member Functions

void initSize (size_t sz)

Private Attributes

size_t size
TokenFIFO ** table

Detailed Description

class State State represents a distribution of timestamped tokens over the channels of the SDFG

Constructor & Destructor Documentation

MaxPlusAnalysis::State::State ( Graph *  G  ) 

References MaxPlusAnalysis::GraphDecoration::Graph::channels, and initSize().

Referenced by copy(), fromVector(), minus(), zeroScheduleState(), and zeroState().

Here is the call graph for this function:

MaxPlusAnalysis::State::State ( size_t  sz  ) 

References initSize().

Here is the call graph for this function:

MaxPlusAnalysis::State::~State (  ) 

References size, and table.

Member Function Documentation

bool MaxPlusAnalysis::State::actorEnabled ( Actor *  a  ) 

References MaxPlusAnalysis::GraphDecoration::Port::channel, MaxPlusAnalysis::GraphDecoration::Channel::index, MaxPlusAnalysis::GraphDecoration::Actor::inputPorts, MaxPlusAnalysis::GraphDecoration::Port::rate, and table.

Referenced by MaxPlusAnalysis::Exploration::explore(), MaxPlusAnalysis::Exploration::exploreDelayForSchedule(), and MaxPlusAnalysis::Exploration::exploreEigen().

bool MaxPlusAnalysis::State::actorReverseEnabled ( Actor *  a  ) 

References MaxPlusAnalysis::GraphDecoration::Port::channel, MaxPlusAnalysis::GraphDecoration::Channel::index, MaxPlusAnalysis::GraphDecoration::Actor::outputPorts, MaxPlusAnalysis::GraphDecoration::Port::rate, and table.

Referenced by MaxPlusAnalysis::Exploration::explore_backward().

void MaxPlusAnalysis::State::add ( double  factor,
State *  v 
)

References size, table, and TokenFIFO.

vector< double > * MaxPlusAnalysis::State::asStdVector ( void   ) 

References size, table, TokenFIFO, and v.

MaxPlus::Vector * MaxPlusAnalysis::State::asVector ( void   ) 

References size, table, TokenFIFO, and v.

Referenced by MaxPlusAnalysis::Exploration::exploreEigen().

bool MaxPlusAnalysis::State::compare ( const State *  s  )  const

References size, and table.

MPTime MaxPlusAnalysis::State::consume ( Port *  p  )  [inline]

References c, MaxPlusAnalysis::GraphDecoration::Port::channel, MaxPlusAnalysis::GraphDecoration::Channel::index, MaxPlusAnalysis::GraphDecoration::Port::rate, and TokenFIFO.

Referenced by MaxPlusAnalysis::GraphDecoration::Graph::fire().

MPTime MaxPlusAnalysis::State::consume ( Port *  p,
int  n 
)

References c, MaxPlusAnalysis::GraphDecoration::Port::channel, MaxPlusAnalysis::GraphDecoration::Channel::index, MAX, table, and TokenFIFO.

MPTime MaxPlusAnalysis::State::consume_back ( Port *  p  ) 

References c, MaxPlusAnalysis::GraphDecoration::Port::channel, MaxPlusAnalysis::GraphDecoration::Channel::index, MIN, MaxPlusAnalysis::GraphDecoration::Port::rate, table, and TokenFIFO.

Referenced by MaxPlusAnalysis::GraphDecoration::Graph::fire_reverse().

State * MaxPlusAnalysis::State::copy (  ) 

References count, size, State(), table, timestamp, and TokenFIFO.

Referenced by MaxPlusAnalysis::Exploration::explore(), MaxPlusAnalysis::Exploration::explore_backward(), MaxPlusAnalysis::Exploration::exploreDelayForSchedule(), and MaxPlusAnalysis::Exploration::exploreEigen().

Here is the call graph for this function:

bool MaxPlusAnalysis::State::equals ( const State *  s  )  const

References size, and table.

Referenced by MaxPlusAnalysis::Exploration::exploreEigen(), and MaxPlusAnalysis::StateComparator::operator()().

Token * MaxPlusAnalysis::State::firstToken (  ) 

References size, table, and TokenFIFO.

Referenced by MaxPlusAnalysis::Exploration::timeProgress().

State * MaxPlusAnalysis::State::fromVector ( GraphDecoration::Graph *  G,
MaxPlus::Vector *  v 
) [static]

References c, MaxPlusAnalysis::GraphDecoration::Graph::channels, count, MaxPlus::Vector::get(), MaxPlusAnalysis::GraphDecoration::Channel::nrInitialTokens, State(), MaxPlusAnalysis::GraphDecoration::Channel::synchStorage, table, timestamp, and TokenFIFO.

Referenced by MaxPlusAnalysis::Exploration::exploreDelayForSchedule().

Here is the call graph for this function:

size_t MaxPlusAnalysis::State::hashValue (  )  const

References size, and table.

Referenced by MaxPlusAnalysis::StateHasher::operator()().

void MaxPlusAnalysis::State::initSize ( size_t  sz  )  [private]

References size, table, and TokenFIFO.

Referenced by State().

void MaxPlusAnalysis::State::maxWith ( double  offset,
State *  v 
)

References size, table, and TokenFIFO.

State * MaxPlusAnalysis::State::minus ( State *  v  )  const

References size, State(), table, and TokenFIFO.

Referenced by MaxPlusAnalysis::Exploration::exploreDelayForSchedule().

Here is the call graph for this function:

MPTime MaxPlusAnalysis::State::norm (  ) 

References MAX, size, and table.

Referenced by MaxPlusAnalysis::Exploration::exploreDelayForSchedule(), and normalize().

MPDelay MaxPlusAnalysis::State::normalize (  ) 

References norm(), size, table, and timestamp.

Referenced by MaxPlusAnalysis::Exploration::exploreDelayForSchedule(), and MaxPlusAnalysis::Exploration::normalize().

Here is the call graph for this function:

void MaxPlusAnalysis::State::produce ( Port *  p,
MPTime  t 
) [inline]

References c, MaxPlusAnalysis::GraphDecoration::Port::channel, MaxPlusAnalysis::GraphDecoration::Channel::index, MaxPlusAnalysis::GraphDecoration::Port::rate, and TokenFIFO.

Referenced by MaxPlusAnalysis::GraphDecoration::Graph::fire().

void MaxPlusAnalysis::State::produce_front ( Port *  p,
MPTime  t 
)

References c, MaxPlusAnalysis::GraphDecoration::Port::channel, MaxPlusAnalysis::GraphDecoration::Channel::index, MaxPlusAnalysis::GraphDecoration::Port::rate, table, and TokenFIFO.

Referenced by MaxPlusAnalysis::GraphDecoration::Graph::fire_reverse().

void MaxPlusAnalysis::State::smooth ( State *  y  ) 

References size, and table.

Referenced by MaxPlusAnalysis::Exploration::exploreEigen().

void MaxPlusAnalysis::State::streamOn ( std::ostream &  s  ) 

References size, table, and TokenFIFO.

State * MaxPlusAnalysis::State::zeroScheduleState ( GraphDecoration::Graph *  G  )  [static]

References c, MaxPlusAnalysis::GraphDecoration::Graph::channels, MaxPlusAnalysis::GraphDecoration::Channel::nrInitialTokens, MaxPlusAnalysis::GraphDecoration::Graph::repetitionVector(), State(), MaxPlusAnalysis::GraphDecoration::Channel::synchStorage, table, and TokenFIFO.

Here is the call graph for this function:

State * MaxPlusAnalysis::State::zeroState ( GraphDecoration::Graph *  G  )  [static]

References c, MaxPlusAnalysis::GraphDecoration::Graph::channels, count, MaxPlusAnalysis::GraphDecoration::Channel::nrInitialTokens, State(), MaxPlusAnalysis::GraphDecoration::Channel::synchStorage, table, timestamp, and TokenFIFO.

Referenced by MaxPlusAnalysis::Exploration::explore(), MaxPlusAnalysis::Exploration::explore_backward(), and MaxPlusAnalysis::Exploration::exploreEigen().

Here is the call graph for this function:

Member Data Documentation

unsigned int MaxPlusAnalysis::State::count

Referenced by copy(), MaxPlusAnalysis::Exploration::explore(), MaxPlusAnalysis::Exploration::explore_backward(), MaxPlusAnalysis::Exploration::exploreDelayForSchedule(), fromVector(), and zeroState().

size_t MaxPlusAnalysis::State::size [private]

Referenced by add(), asStdVector(), asVector(), compare(), copy(), equals(), firstToken(), hashValue(), initSize(), maxWith(), minus(), norm(), normalize(), smooth(), streamOn(), and ~State().

TokenFIFO** MaxPlusAnalysis::State::table [private]

Referenced by actorEnabled(), actorReverseEnabled(), add(), asStdVector(), asVector(), compare(), consume(), consume_back(), copy(), equals(), firstToken(), fromVector(), hashValue(), initSize(), maxWith(), minus(), norm(), normalize(), produce_front(), smooth(), streamOn(), zeroScheduleState(), zeroState(), and ~State().

MPTime MaxPlusAnalysis::State::timestamp

Referenced by copy(), MaxPlusAnalysis::Exploration::explore(), MaxPlusAnalysis::Exploration::explore_backward(), fromVector(), normalize(), and zeroState().

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