LinearEquationSolverRequirements.h

Go to the documentation of this file.

#pragma once
 
#include <string>
 
#include "storm/solver/SolverRequirement.h"
 
namespace storm {
namespace solver {
 
class LinearEquationSolverRequirements {
   public:
    // The different requirements a solver can have.
    enum class Element {
        // Requirements that are related to the graph structure of the model.
        Acyclic,
 
        // Requirements that are related to bounds for the actual solution.
        LowerBounds,
        UpperBounds
    };
 
    LinearEquationSolverRequirements();
 
    LinearEquationSolverRequirements& requireAcyclic(bool critical = true);
    LinearEquationSolverRequirements& requireLowerBounds(bool critical = true);
    LinearEquationSolverRequirements& requireUpperBounds(bool critical = true);
    LinearEquationSolverRequirements& requireBounds(bool critical = true);
 
    SolverRequirement const& acyclic() const;
    SolverRequirement const& lowerBounds() const;
    SolverRequirement const& upperBounds() const;
    SolverRequirement const& get(Element const& element) const;
 
    void clearAcyclic();
    void clearLowerBounds();
    void clearUpperBounds();
 
    bool hasEnabledRequirement() const;
    bool hasEnabledCriticalRequirement() const;
 
    std::string getEnabledRequirementsAsString() const;
 
   private:
    SolverRequirement acyclicRequirement;
    SolverRequirement lowerBoundsRequirement;
    SolverRequirement upperBoundsRequirement;
};
 
}  // namespace solver
}  // namespace storm