frechet::reach::BoundsIndex Struct Reference

Detailed Description

mapping within a GraphModel

Definition at line 175 of file graph_model.h.

#include <graph_model.h>

Public Member Functions
	BoundsIndex (int i, Bias b)
	default constructor More...
BoundsIndex	operator+ (int offset) const
	shift operator More...

Public Attributes
int	index
	index of node in reachability graph More...
Bias	bias
	bias: inclusive to lower / upper interval More...

Constructor & Destructor Documentation

BoundsIndex()

frechet::reach::BoundsIndex::BoundsIndex ( int  i, Bias  b  )

inline

default constructor

Parameters

i	index of node in reachability graph
b	bias: inclusive to lower / upper interval

Definition at line 185 of file graph_model.h.

Member Function Documentation

operator+()

BoundsIndex frechet::reach::BoundsIndex::operator+ ( int  offset ) const

inline

shift operator

Parameters

offset

offset to add to node index

Returns

copy of this object, with shifted node index

Definition at line 191 of file graph_model.h.

Member Data Documentation

bias

Bias frechet::reach::BoundsIndex::bias

bias: inclusive to lower / upper interval

Definition at line 179 of file graph_model.h.

index

int frechet::reach::BoundsIndex::index

index of node in reachability graph

Definition at line 177 of file graph_model.h.

---

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

• include/frechet/reachability/graph_model.h