Assumption.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <ostream>
 
namespace storm {
namespace analysis {

enum class AssumptionRelation { Greater, Equal };

struct Assumption {
    uint64_t state1;
    uint64_t state2;
    AssumptionRelation relation;
};
 
std::ostream& operator<<(std::ostream& out, Assumption const& assumption);
 
}  // namespace analysis
}  // namespace storm