|
@ -11,11 +11,15 @@ namespace parser { |
|
|
|
|
|
|
|
|
/*! |
|
|
/*! |
|
|
* @brief Load label file and return initialized AtomicPropositionsLabeling object. |
|
|
* @brief Load label file and return initialized AtomicPropositionsLabeling object. |
|
|
|
|
|
* |
|
|
|
|
|
* Note that this class creates a new AtomicPropositionsLabeling object that can |
|
|
|
|
|
* be accessed via getLabeling(). However, it will not delete this object! |
|
|
*/ |
|
|
*/ |
|
|
class LabParser : Parser |
|
|
class LabParser : Parser |
|
|
{ |
|
|
{ |
|
|
public: |
|
|
public: |
|
|
LabParser(uint_fast64_t node_count, const char* filename); |
|
|
LabParser(uint_fast64_t node_count, const char* filename); |
|
|
|
|
|
|
|
|
mrmc::models::AtomicPropositionsLabeling* getLabeling() |
|
|
mrmc::models::AtomicPropositionsLabeling* getLabeling() |
|
|
{ |
|
|
{ |
|
|
return this->labeling; |
|
|
return this->labeling; |
|
|
xxxxxxxxxx