#include "storm/models/sparse/Model.h"
#include <string>

Include dependency graph for AutoParser.h:

This graph shows which files directly or indirectly include this file:

Classes
class	storm::parser::AutoParser< ValueType, RewardValueType >
	This class automatically chooses the correct parser for the given files and returns the corresponding model. More...

Namespaces
namespace	storm
	LabParser.cpp.

namespace	storm::parser
	Contains all file parsers and helper classes.

Macros
#define	STORM_PARSER_AUTOPARSER_HINT_LENGTH (10ull)

Macro Definition Documentation

◆ STORM_PARSER_AUTOPARSER_HINT_LENGTH

#define STORM_PARSER_AUTOPARSER_HINT_LENGTH (10ull)

Definition at line 8 of file AutoParser.h.