RegionCheckEngine.h

Go to the documentation of this file.

#pragma once
 
#include <ostream>
 
namespace storm {
namespace modelchecker {
enum class RegionCheckEngine {
    ParameterLifting,           
    ExactParameterLifting,      
    ValidatingParameterLifting, 
    RobustParameterLifting,     
};
 
std::ostream& operator<<(std::ostream& os, RegionCheckEngine const& regionCheckResult);
}  // namespace modelchecker
}  // namespace storm