OTAWA  2.0
Framework to perform machine analysis and compute WCET.
otawa::ipet::EdgeAnnotation Class Reference

#include <otawa/ipet/FlowFactConflictConstraintBuilder.h>

Public Member Functions

 EdgeAnnotation ()
 
 EdgeAnnotation (int m, int p, ilp::Var *v)
 
int getMe ()
 
int getPe ()
 
ilp::VargetVar ()
 
void setMe (int m)
 
void setPe (int p)
 

Static Public Member Functions

static bool equals (const EdgeAnnotation &p1, const EdgeAnnotation &p2)
 

Private Attributes

int me
 
int pe
 
ilp::Varvar
 

Constructor & Destructor Documentation

◆ EdgeAnnotation() [1/2]

otawa::ipet::EdgeAnnotation::EdgeAnnotation ( int  m,
int  p,
ilp::Var v 
)
inline

◆ EdgeAnnotation() [2/2]

otawa::ipet::EdgeAnnotation::EdgeAnnotation ( )
inline

Member Function Documentation

◆ equals()

static bool otawa::ipet::EdgeAnnotation::equals ( const EdgeAnnotation p1,
const EdgeAnnotation p2 
)
inlinestatic

References var.

◆ getMe()

int otawa::ipet::EdgeAnnotation::getMe ( )
inline

◆ getPe()

int otawa::ipet::EdgeAnnotation::getPe ( )
inline

◆ getVar()

ilp::Var* otawa::ipet::EdgeAnnotation::getVar ( )
inline

◆ setMe()

void otawa::ipet::EdgeAnnotation::setMe ( int  m)
inline

◆ setPe()

void otawa::ipet::EdgeAnnotation::setPe ( int  p)
inline

References p().

Referenced by otawa::ipet::evalSequence().

Member Data Documentation

◆ me

int otawa::ipet::EdgeAnnotation::me
private

◆ pe

int otawa::ipet::EdgeAnnotation::pe
private

◆ var

ilp::Var* otawa::ipet::EdgeAnnotation::var
private

Referenced by equals().


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