SolverRequirement.h

Go to the documentation of this file.

#pragma once
 
namespace storm {
namespace solver {
 
class SolverRequirement {
   public:
    SolverRequirement();
 
    operator bool() const;
 
    void enable(bool critical = true);
 
    void clear();
 
    bool isCritical() const;
 
   private:
    bool enabled;
    bool critical;
};
 
}  // namespace solver
}  // namespace storm