PursuingComm.cpp File Reference

#include <PursuingComm.h>

Namespaces

namespace  MipTasks

Defines

#define PURSUINGCOMM_DEBUG   1
#define PUR_MES_NO_PRIOR   -1
#define PUR_ACTIVATE_CHECKER   0

Variables

static const bool MipTasks::_receivedMessAdmittedStates [PUR_MES_NUM][PUR_STA_NUM]
 Given a received message and a state, returns true if the pair msg/state is admitted, false otherwise.
static const bool MipTasks::_outgoingMessAdmittedStates [PUR_MES_NUM][PUR_STA_NUM]
 Given an outgoing message and a state, returns true if the pair msg/state is admitted, false otherwise.
static const int MipTasks::_priorMessages [PUR_MES_NUM]
 Given a received message, returns the prior message which has to be sent before, PUR_MES_NO_PRIOR means no prior message.

Define Documentation

#define PUR_ACTIVATE_CHECKER   0

#define PUR_MES_NO_PRIOR   -1

#define PURSUINGCOMM_DEBUG   1


Generated on Mon Feb 20 07:01:08 2017 for MIP by  doxygen 1.5.6