Used to store index order information. More...
#include <datatypedef.h>
Public Attributes | |
std::vector< int > | order |
int | partition_number |
Used to store index order information.
Definition at line 22 of file datatypedef.h.
std::vector<int> order |
Definition at line 23 of file datatypedef.h.
Referenced by tpz_ordered::get_index_value(), and ComSwitch::parseValuesFromArguments().
int partition_number |
Definition at line 24 of file datatypedef.h.
Referenced by ComSwitch::parseValuesFromArguments().