RegionResult.h

Go to the documentation of this file.

#pragma once
 
#include <ostream>
 
namespace storm {
namespace modelchecker {
enum class RegionResult {
    Unknown,        
    ExistsSat,      
    ExistsViolated, 
    CenterSat,      
    CenterViolated, 
    ExistsBoth,     
    AllSat,         
    AllViolated     
};
 
std::ostream& operator<<(std::ostream& os, RegionResult const& regionCheckResult);
}  // namespace modelchecker
}  // namespace storm