20 #ifndef __TPIE_PIPELINING_PRIORITY_TYPE_H__
21 #define __TPIE_PIPELINING_PRIORITY_TYPE_H__
25 namespace pipelining {
28 typedef int priority_type;
29 const priority_type PRIORITY_NO_NAME = 0;
30 const priority_type PRIORITY_INSIGNIFICANT = 5;
31 const priority_type PRIORITY_SIGNIFICANT = 10;
32 const priority_type PRIORITY_USER = 20;
38 #endif // __TPIE_PIPELINING_PRIORITY_TYPE_H__