Storm
A Modern Probabilistic Model Checker
Toggle main menu visibility
Main Page
Namespaces
Namespace List
Namespace Members
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
z
Functions
_
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
q
r
s
t
u
v
w
x
z
Variables
a
b
c
d
e
f
g
i
l
m
n
o
p
q
r
s
t
u
v
w
z
Typedefs
a
b
c
e
f
i
j
m
n
o
p
r
s
v
Enumerations
a
b
c
d
e
f
g
l
m
n
o
p
q
r
s
t
u
Enumerator
Classes
Class List
Class Index
Class Hierarchy
Class Members
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
~
Functions
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
z
~
Variables
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
Typedefs
a
b
c
d
e
f
g
i
j
l
m
n
o
p
r
s
t
v
w
Enumerations
b
c
d
e
f
i
l
m
n
o
p
q
r
s
t
v
Enumerator
Related Symbols
a
b
c
d
e
f
i
m
n
o
p
r
s
t
v
x
Files
File List
File Members
All
a
b
c
d
e
g
i
m
n
o
p
r
s
t
w
Functions
b
c
e
g
i
m
n
o
p
r
s
t
Variables
Typedefs
Macros
a
b
c
e
m
p
s
w
•
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Pages
Loading...
Searching...
No Matches
LocatedInformation.h
Go to the documentation of this file.
1
#ifndef STORM_STORAGE_PRISM_LOCATEDINFORMATION_H_
2
#define STORM_STORAGE_PRISM_LOCATEDINFORMATION_H_
3
4
#include <cstdint>
5
#include <string>
6
7
#include "
storm/utility/OsDetection.h
"
8
9
namespace
storm
{
10
namespace
prism {
11
class
LocatedInformation
{
12
public
:
19
LocatedInformation
(std::string
const
& filename, uint_fast64_t lineNumber);
20
21
// Create default implementations of constructors/assignment.
22
LocatedInformation
() =
default
;
23
LocatedInformation
(
LocatedInformation
const
& other) =
default
;
24
LocatedInformation
&
operator=
(
LocatedInformation
const
& other) =
default
;
25
LocatedInformation
(
LocatedInformation
&& other) =
default
;
26
LocatedInformation
&
operator=
(
LocatedInformation
&& other) =
default
;
27
33
std::string
const
&
getFilename
()
const
;
34
40
void
setFilename
(std::string
const
& filename);
41
47
uint_fast64_t
getLineNumber
()
const
;
48
54
void
setLineNumber
(uint_fast64_t lineNumber);
55
56
private
:
57
// The file in which the piece of information was found.
58
std::string filename;
59
60
// The line in the file in which the piece of information was found.
61
uint_fast64_t lineNumber;
62
};
11
class
LocatedInformation
{
…
};
63
}
// namespace prism
64
}
// namespace storm
65
66
#endif
/* STORM_STORAGE_PRISM_LOCATEDINFORMATION_H_ */
OsDetection.h
storm::prism::LocatedInformation
Definition
LocatedInformation.h:11
storm::prism::LocatedInformation::LocatedInformation
LocatedInformation(LocatedInformation &&other)=default
storm::prism::LocatedInformation::operator=
LocatedInformation & operator=(LocatedInformation const &other)=default
storm::prism::LocatedInformation::getLineNumber
uint_fast64_t getLineNumber() const
Retrieves the line number in which the information was found.
Definition
LocatedInformation.cpp:17
storm::prism::LocatedInformation::LocatedInformation
LocatedInformation()=default
storm::prism::LocatedInformation::getFilename
std::string const & getFilename() const
Retrieves the name of the file in which the information was found.
Definition
LocatedInformation.cpp:9
storm::prism::LocatedInformation::setFilename
void setFilename(std::string const &filename)
Sets the filename of this information.
Definition
LocatedInformation.cpp:13
storm::prism::LocatedInformation::setLineNumber
void setLineNumber(uint_fast64_t lineNumber)
Sets the line number of this information.
Definition
LocatedInformation.cpp:21
storm::prism::LocatedInformation::LocatedInformation
LocatedInformation(LocatedInformation const &other)=default
storm::prism::LocatedInformation::operator=
LocatedInformation & operator=(LocatedInformation &&other)=default
storm
LabParser.cpp.
Definition
cli.cpp:18
src
storm
storage
prism
LocatedInformation.h
Generated by
1.9.8