MonotonicityKind.h

Go to the documentation of this file.

#pragma once
 
#include <iostream>
 
namespace storm::analysis {
enum class MonotonicityKind {
    Incr,     
    Decr,     
    Constant, 
    Not,      
    Unknown   
};
 
std::ostream& operator<<(std::ostream& out, MonotonicityKind kind);
 
bool isMonotone(MonotonicityKind kind);
 
}  // namespace storm::analysis