cli.h

Go to the documentation of this file.

#pragma once
 
#include <map>
 
#include "storm/storage/expressions/Expression.h"
#include "storm/storage/expressions/ExpressionManager.h"
 
namespace storm {
namespace utility {
namespace cli {
 
std::string getCurrentWorkingDirectory();
 
std::map<storm::expressions::Variable, storm::expressions::Expression> parseConstantDefinitionString(storm::expressions::ExpressionManager const& manager,
                                                                                                     std::string const& constantDefinitionString);
 
std::vector<std::string> parseCommaSeparatedStrings(std::string const& input);
}  // namespace cli
}  // namespace utility
}  // namespace storm