Constant.h

Go to the documentation of this file.

#pragma once
 
#include <string>
 
#include <boost/optional.hpp>
 
#include "storm/storage/expressions/Expression.h"
#include "storm/storage/expressions/Variable.h"
 
namespace storm {
namespace jani {
 
class Constant {
   public:
    Constant(std::string const& name, storm::expressions::Variable const& variable,
             storm::expressions::Expression const& definingExpression = storm::expressions::Expression(),
             storm::expressions::Expression const& constraintExpression = storm::expressions::Expression());
 
    std::string const& getName() const;
 
    bool isDefined() const;
 
    void define(storm::expressions::Expression const& expression);
 
    storm::expressions::Type const& getType() const;
 
    bool isBooleanConstant() const;
 
    bool isIntegerConstant() const;
 
    bool isRealConstant() const;
 
    storm::expressions::Variable const& getExpressionVariable() const;
 
    storm::expressions::Expression const& getExpression() const;
 
    bool hasConstraint() const;
 
    storm::expressions::Expression const& getConstraintExpression() const;
 
    void setConstraintExpression(storm::expressions::Expression const& expression);
 
   private:
    // The name of the constant.
    std::string name;
 
    // The expression variable associated with the constant.
    storm::expressions::Variable variable;
 
    // The expression defining the constant (if any).
    storm::expressions::Expression definingExpression;
 
    // The expression constraining possible values of the constant (if any).
    storm::expressions::Expression constraintExpression;
};
 
}  // namespace jani
}  // namespace storm