GraphPreservationStatus.h

Go to the documentation of this file.

#pragma once
 
#include <ostream>
 
namespace storm::pars::analysis {

enum class GraphPreservationStatus {
    None,
    WellDefined,
    GraphPreserving,
    Unknown
};

inline bool isGraphPreserving(GraphPreservationStatus status) {
    return status == GraphPreservationStatus::GraphPreserving;
}
 
inline std::ostream& operator<<(std::ostream& stream, GraphPreservationStatus status) {
    switch (status) {
        case GraphPreservationStatus::None:
            stream << "none";
            break;
        case GraphPreservationStatus::WellDefined:
            stream << "well-defined";
            break;
        case GraphPreservationStatus::GraphPreserving:
            stream << "graph-preserving";
            break;
        case GraphPreservationStatus::Unknown:
            stream << "unknown";
            break;
    }
    return stream;
}
 
}  // namespace storm::pars::analysis