\hypertarget{classpomdp__solver_1_1POMDP}{}\doxysection{pomdp\+\_\+solver.\+POMDP Class Reference}
\label{classpomdp__solver_1_1POMDP}\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}


Class to build and explore a \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model.  


\doxysubsection*{Public Member Functions}
\begin{DoxyCompactItemize}
\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a6f2b3c505b67dcb00c124aae49071426}\label{classpomdp__solver_1_1POMDP_a6f2b3c505b67dcb00c124aae49071426}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a6f2b3c505b67dcb00c124aae49071426}{\+\_\+\+\_\+init\+\_\+\+\_\+}} (self)
\begin{DoxyCompactList}\small\item\em The constuctor. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a7c3644327866b01a16f8bbccc59e9302}{load\+\_\+model}} (self, model\+\_\+file)
\begin{DoxyCompactList}\small\item\em Load a \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_ab1e0f156b8db2eed00cfcce1207ffbaa}{parse\+\_\+properties}} (self, properties)
\begin{DoxyCompactList}\small\item\em Parse property string. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_ab4eccfb5986c593326a8ecdca66db9dc}{set\+\_\+undefined\+\_\+constants}} (self, constants)
\begin{DoxyCompactList}\small\item\em Instantiate undefined constants of a pomdp model. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a36d5298df5da3e7070f02e5ebcba4575}\label{classpomdp__solver_1_1POMDP_a36d5298df5da3e7070f02e5ebcba4575}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a36d5298df5da3e7070f02e5ebcba4575}{build\+\_\+model}} (self)
\begin{DoxyCompactList}\small\item\em Build the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a51640366c6bce057333abfa02cb60c8e}{build\+\_\+pmc}} (self, nr\+\_\+memory\+\_\+state, pomdp\+\_\+memory\+\_\+pattern=stormpy.\+pomdp.\+Pomdp\+Memory\+Pattern.\+selective\+\_\+counter, fsc\+\_\+application\+\_\+mode=stormpy.\+pomdp.\+Pomdp\+Fsc\+Application\+Mode.\+simple\+\_\+linear)
\begin{DoxyCompactList}\small\item\em Unfold memory into the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model and apply a FSC to obtain a p\+MC. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a0a7fcabf15a65ed5ea6842786b52fa45}\label{classpomdp__solver_1_1POMDP_a0a7fcabf15a65ed5ea6842786b52fa45}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a0a7fcabf15a65ed5ea6842786b52fa45}{inspect\+\_\+model}} (self)
\begin{DoxyCompactList}\small\item\em Inspect the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model for invalid or missing components. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a901d077c0fe2bf97554648d2115739e8}{has\+\_\+transition\+\_\+matrix}} (self)
\begin{DoxyCompactList}\small\item\em Check if the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model has a transition matrix. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_ae3ce009954095a72099f56f2813a042d}{has\+\_\+state\+\_\+labels}} (self)
\begin{DoxyCompactList}\small\item\em Check if the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model has a state labels. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a9c161a3aaecf3438ccf4f6142697ffb9}{has\+\_\+reward\+\_\+model}} (self)
\begin{DoxyCompactList}\small\item\em Check if the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model has a reward model. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a963932069f2a788e33ed95468279d992}{has\+\_\+undefined\+\_\+constants}} (self)
\begin{DoxyCompactList}\small\item\em Check if the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model has undefined constants. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a360e4ff55aeb38e1026507779ebe2564}{get\+\_\+model\+\_\+type}} (self)
\begin{DoxyCompactList}\small\item\em Get the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model type. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a087562f872f4dd0e7797be4a0b57797b}{get\+\_\+states}} (self)
\begin{DoxyCompactList}\small\item\em Get the states of the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a229a74289dc3732eed27f0f8d6a1165d}{get\+\_\+nr\+\_\+states}} (self)
\begin{DoxyCompactList}\small\item\em Get the number of states in the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a8935cc0f62145a03084709c3f16732ee}{get\+\_\+state\+\_\+labels}} (self)
\begin{DoxyCompactList}\small\item\em Get the state labels of the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a1889fdabbc582b71a0b53e1f98cd9621}{get\+\_\+reward\+\_\+models}} (self)
\begin{DoxyCompactList}\small\item\em Get the reward model of the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. \end{DoxyCompactList}\item 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a098d140044448731d67c3a957cc95824}{get\+\_\+observations}} (self)
\begin{DoxyCompactList}\small\item\em Get the observations of the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_aa2a6462446dc6bb76a8889fc9ef12686}\label{classpomdp__solver_1_1POMDP_aa2a6462446dc6bb76a8889fc9ef12686}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_aa2a6462446dc6bb76a8889fc9ef12686}{print\+\_\+model\+\_\+type}} (self)
\begin{DoxyCompactList}\small\item\em Print the model type. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_aba1963f60e2e4bde3aa9ba55952e5920}\label{classpomdp__solver_1_1POMDP_aba1963f60e2e4bde3aa9ba55952e5920}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_aba1963f60e2e4bde3aa9ba55952e5920}{print\+\_\+nr\+\_\+states}} (self)
\begin{DoxyCompactList}\small\item\em Print the number of states. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_abb0efe13e9d036a75514bf74c1b9e7b7}\label{classpomdp__solver_1_1POMDP_abb0efe13e9d036a75514bf74c1b9e7b7}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_abb0efe13e9d036a75514bf74c1b9e7b7}{print\+\_\+actions}} (self)
\begin{DoxyCompactList}\small\item\em Print the actions. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_aebce89b993ef6d1170e967bbcc28a9a4}\label{classpomdp__solver_1_1POMDP_aebce89b993ef6d1170e967bbcc28a9a4}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_aebce89b993ef6d1170e967bbcc28a9a4}{print\+\_\+transitions}} (self)
\begin{DoxyCompactList}\small\item\em Print the transitions of the model. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_abd67ae5a9df1b2e14decf7623b1029a4}\label{classpomdp__solver_1_1POMDP_abd67ae5a9df1b2e14decf7623b1029a4}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_abd67ae5a9df1b2e14decf7623b1029a4}{print\+\_\+observations}} (self)
\begin{DoxyCompactList}\small\item\em Print the observations of the model. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_ab18418b67c4e4c4ea9571c964bad6e3b}\label{classpomdp__solver_1_1POMDP_ab18418b67c4e4c4ea9571c964bad6e3b}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_ab18418b67c4e4c4ea9571c964bad6e3b}{print\+\_\+rewards}} (self)
\begin{DoxyCompactList}\small\item\em Print the reward model. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_ae53e783b70ab7e805fe11a348f5cd278}\label{classpomdp__solver_1_1POMDP_ae53e783b70ab7e805fe11a348f5cd278}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_ae53e783b70ab7e805fe11a348f5cd278}{print\+\_\+state\+\_\+reward}} (self, reward)
\begin{DoxyCompactList}\small\item\em Print the state rewards. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a47a1360b7d25132e28ca38e7d4eaf705}\label{classpomdp__solver_1_1POMDP_a47a1360b7d25132e28ca38e7d4eaf705}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_a47a1360b7d25132e28ca38e7d4eaf705}{print\+\_\+state\+\_\+action\+\_\+reward}} (self, reward)
\begin{DoxyCompactList}\small\item\em Print the state action rewards. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_acb22ab22ffcfb387e2bd358858c99eda}\label{classpomdp__solver_1_1POMDP_acb22ab22ffcfb387e2bd358858c99eda}} 
def \mbox{\hyperlink{classpomdp__solver_1_1POMDP_acb22ab22ffcfb387e2bd358858c99eda}{print\+\_\+constants}} (self)
\begin{DoxyCompactList}\small\item\em Print constants of the model. \end{DoxyCompactList}\end{DoxyCompactItemize}
\doxysubsection*{Public Attributes}
\begin{DoxyCompactItemize}
\item 
\mbox{\hyperlink{classpomdp__solver_1_1POMDP_a5945d57458ceedea63a3c310eddf928b}{file\+\_\+type}}
\begin{DoxyCompactList}\small\item\em Can be drn, prism or jani. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a1c2103dd5eca6391ae0fc97b45a7a89b}\label{classpomdp__solver_1_1POMDP_a1c2103dd5eca6391ae0fc97b45a7a89b}} 
\mbox{\hyperlink{classpomdp__solver_1_1POMDP_a1c2103dd5eca6391ae0fc97b45a7a89b}{file\+\_\+path}}
\begin{DoxyCompactList}\small\item\em Path to the model. \end{DoxyCompactList}\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_aa13360abac94c0c17f1a47dc59d7e190}\label{classpomdp__solver_1_1POMDP_aa13360abac94c0c17f1a47dc59d7e190}} 
{\bfseries properties}
\item 
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a47a9b208fd3318d7373e1288d9e29361}\label{classpomdp__solver_1_1POMDP_a47a9b208fd3318d7373e1288d9e29361}} 
\mbox{\hyperlink{classpomdp__solver_1_1POMDP_a47a9b208fd3318d7373e1288d9e29361}{program}}
\begin{DoxyCompactList}\small\item\em Parsed pomdp model. \end{DoxyCompactList}\item 
\mbox{\hyperlink{classpomdp__solver_1_1POMDP_a777b9d764b768d8a83db1e917c3712bf}{model}}
\begin{DoxyCompactList}\small\item\em Build pomdp model. \end{DoxyCompactList}\end{DoxyCompactItemize}


\doxysubsection{Detailed Description}
Class to build and explore a \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. 

Supports DRN and Prism models. The use of Jani files has not been tested to give any guarantees. 

\doxysubsection{Member Function Documentation}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a51640366c6bce057333abfa02cb60c8e}\label{classpomdp__solver_1_1POMDP_a51640366c6bce057333abfa02cb60c8e}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!build\_pmc@{build\_pmc}}
\index{build\_pmc@{build\_pmc}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{build\_pmc()}{build\_pmc()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+build\+\_\+pmc (\begin{DoxyParamCaption}\item[{}]{self,  }\item[{}]{nr\+\_\+memory\+\_\+state,  }\item[{}]{pomdp\+\_\+memory\+\_\+pattern = {\ttfamily stormpy.pomdp.PomdpMemoryPattern.selective\+\_\+counter},  }\item[{}]{fsc\+\_\+application\+\_\+mode = {\ttfamily stormpy.pomdp.PomdpFscApplicationMode.simple\+\_\+linear} }\end{DoxyParamCaption})}



Unfold memory into the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model and apply a FSC to obtain a p\+MC. 


\begin{DoxyParams}{Parameters}
{\em nr\+\_\+memory\+\_\+state} & Number of memory nodes. \\
\hline
{\em pomdp\+\_\+memory\+\_\+pattern} & Memory pattern. \\
\hline
{\em fsc\+\_\+application\+\_\+mode} & Application mode for the FSC. \\
\hline
\end{DoxyParams}
\begin{DoxyReturn}{Returns}
A p\+MC model. 
\end{DoxyReturn}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a360e4ff55aeb38e1026507779ebe2564}\label{classpomdp__solver_1_1POMDP_a360e4ff55aeb38e1026507779ebe2564}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!get\_model\_type@{get\_model\_type}}
\index{get\_model\_type@{get\_model\_type}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{get\_model\_type()}{get\_model\_type()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+get\+\_\+model\+\_\+type (\begin{DoxyParamCaption}\item[{}]{self }\end{DoxyParamCaption})}



Get the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model type. 

\begin{DoxyReturn}{Returns}
Model type. 
\end{DoxyReturn}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a229a74289dc3732eed27f0f8d6a1165d}\label{classpomdp__solver_1_1POMDP_a229a74289dc3732eed27f0f8d6a1165d}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!get\_nr\_states@{get\_nr\_states}}
\index{get\_nr\_states@{get\_nr\_states}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{get\_nr\_states()}{get\_nr\_states()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+get\+\_\+nr\+\_\+states (\begin{DoxyParamCaption}\item[{}]{self }\end{DoxyParamCaption})}



Get the number of states in the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. 

\begin{DoxyReturn}{Returns}
Number of states. 
\end{DoxyReturn}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a098d140044448731d67c3a957cc95824}\label{classpomdp__solver_1_1POMDP_a098d140044448731d67c3a957cc95824}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!get\_observations@{get\_observations}}
\index{get\_observations@{get\_observations}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{get\_observations()}{get\_observations()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+get\+\_\+observations (\begin{DoxyParamCaption}\item[{}]{self }\end{DoxyParamCaption})}



Get the observations of the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. 

\begin{DoxyReturn}{Returns}
List of observations. 
\end{DoxyReturn}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a1889fdabbc582b71a0b53e1f98cd9621}\label{classpomdp__solver_1_1POMDP_a1889fdabbc582b71a0b53e1f98cd9621}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!get\_reward\_models@{get\_reward\_models}}
\index{get\_reward\_models@{get\_reward\_models}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{get\_reward\_models()}{get\_reward\_models()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+get\+\_\+reward\+\_\+models (\begin{DoxyParamCaption}\item[{}]{self }\end{DoxyParamCaption})}



Get the reward model of the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. 

\begin{DoxyReturn}{Returns}
reward model. 
\end{DoxyReturn}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a8935cc0f62145a03084709c3f16732ee}\label{classpomdp__solver_1_1POMDP_a8935cc0f62145a03084709c3f16732ee}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!get\_state\_labels@{get\_state\_labels}}
\index{get\_state\_labels@{get\_state\_labels}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{get\_state\_labels()}{get\_state\_labels()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+get\+\_\+state\+\_\+labels (\begin{DoxyParamCaption}\item[{}]{self }\end{DoxyParamCaption})}



Get the state labels of the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. 

\begin{DoxyReturn}{Returns}
List of state labels. 
\end{DoxyReturn}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a087562f872f4dd0e7797be4a0b57797b}\label{classpomdp__solver_1_1POMDP_a087562f872f4dd0e7797be4a0b57797b}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!get\_states@{get\_states}}
\index{get\_states@{get\_states}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{get\_states()}{get\_states()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+get\+\_\+states (\begin{DoxyParamCaption}\item[{}]{self }\end{DoxyParamCaption})}



Get the states of the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. 

\begin{DoxyReturn}{Returns}
List of states. 
\end{DoxyReturn}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a9c161a3aaecf3438ccf4f6142697ffb9}\label{classpomdp__solver_1_1POMDP_a9c161a3aaecf3438ccf4f6142697ffb9}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!has\_reward\_model@{has\_reward\_model}}
\index{has\_reward\_model@{has\_reward\_model}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{has\_reward\_model()}{has\_reward\_model()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+has\+\_\+reward\+\_\+model (\begin{DoxyParamCaption}\item[{}]{self }\end{DoxyParamCaption})}



Check if the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model has a reward model. 

\begin{DoxyReturn}{Returns}
Boolean. 
\end{DoxyReturn}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_ae3ce009954095a72099f56f2813a042d}\label{classpomdp__solver_1_1POMDP_ae3ce009954095a72099f56f2813a042d}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!has\_state\_labels@{has\_state\_labels}}
\index{has\_state\_labels@{has\_state\_labels}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{has\_state\_labels()}{has\_state\_labels()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+has\+\_\+state\+\_\+labels (\begin{DoxyParamCaption}\item[{}]{self }\end{DoxyParamCaption})}



Check if the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model has a state labels. 

\begin{DoxyReturn}{Returns}
Boolean. 
\end{DoxyReturn}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a901d077c0fe2bf97554648d2115739e8}\label{classpomdp__solver_1_1POMDP_a901d077c0fe2bf97554648d2115739e8}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!has\_transition\_matrix@{has\_transition\_matrix}}
\index{has\_transition\_matrix@{has\_transition\_matrix}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{has\_transition\_matrix()}{has\_transition\_matrix()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+has\+\_\+transition\+\_\+matrix (\begin{DoxyParamCaption}\item[{}]{self }\end{DoxyParamCaption})}



Check if the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model has a transition matrix. 

\begin{DoxyReturn}{Returns}
Boolean. 
\end{DoxyReturn}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a963932069f2a788e33ed95468279d992}\label{classpomdp__solver_1_1POMDP_a963932069f2a788e33ed95468279d992}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!has\_undefined\_constants@{has\_undefined\_constants}}
\index{has\_undefined\_constants@{has\_undefined\_constants}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{has\_undefined\_constants()}{has\_undefined\_constants()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+has\+\_\+undefined\+\_\+constants (\begin{DoxyParamCaption}\item[{}]{self }\end{DoxyParamCaption})}



Check if the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model has undefined constants. 

\begin{DoxyReturn}{Returns}
Boolean. 
\end{DoxyReturn}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a7c3644327866b01a16f8bbccc59e9302}\label{classpomdp__solver_1_1POMDP_a7c3644327866b01a16f8bbccc59e9302}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!load\_model@{load\_model}}
\index{load\_model@{load\_model}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{load\_model()}{load\_model()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+load\+\_\+model (\begin{DoxyParamCaption}\item[{}]{self,  }\item[{}]{model\+\_\+file }\end{DoxyParamCaption})}



Load a \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. 


\begin{DoxyParams}{Parameters}
{\em model\+\_\+file} & Path to a pomdp model \\
\hline
\end{DoxyParams}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_ab1e0f156b8db2eed00cfcce1207ffbaa}\label{classpomdp__solver_1_1POMDP_ab1e0f156b8db2eed00cfcce1207ffbaa}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!parse\_properties@{parse\_properties}}
\index{parse\_properties@{parse\_properties}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{parse\_properties()}{parse\_properties()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+parse\+\_\+properties (\begin{DoxyParamCaption}\item[{}]{self,  }\item[{}]{properties }\end{DoxyParamCaption})}



Parse property string. 


\begin{DoxyParams}{Parameters}
{\em properties} & Property string \\
\hline
\end{DoxyParams}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_ab4eccfb5986c593326a8ecdca66db9dc}\label{classpomdp__solver_1_1POMDP_ab4eccfb5986c593326a8ecdca66db9dc}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!set\_undefined\_constants@{set\_undefined\_constants}}
\index{set\_undefined\_constants@{set\_undefined\_constants}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{set\_undefined\_constants()}{set\_undefined\_constants()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+POMDP.\+set\+\_\+undefined\+\_\+constants (\begin{DoxyParamCaption}\item[{}]{self,  }\item[{}]{constants }\end{DoxyParamCaption})}



Instantiate undefined constants of a pomdp model. 


\begin{DoxyParams}{Parameters}
{\em constants} & a String containing a variable name and its value(e.\+g. \char`\"{}\+K=4, T=2\char`\"{}) \\
\hline
\end{DoxyParams}


\doxysubsection{Member Data Documentation}
\mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a5945d57458ceedea63a3c310eddf928b}\label{classpomdp__solver_1_1POMDP_a5945d57458ceedea63a3c310eddf928b}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!file\_type@{file\_type}}
\index{file\_type@{file\_type}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{file\_type}{file\_type}}
{\footnotesize\ttfamily pomdp\+\_\+solver.\+POMDP.\+file\+\_\+type}



Can be drn, prism or jani. 

Different build functions depending on the model format.

Parse the pomdp model.

Obtain the file type from the path. \mbox{\Hypertarget{classpomdp__solver_1_1POMDP_a777b9d764b768d8a83db1e917c3712bf}\label{classpomdp__solver_1_1POMDP_a777b9d764b768d8a83db1e917c3712bf}} 
\index{pomdp\_solver.POMDP@{pomdp\_solver.POMDP}!model@{model}}
\index{model@{model}!pomdp\_solver.POMDP@{pomdp\_solver.POMDP}}
\doxysubsubsection{\texorpdfstring{model}{model}}
{\footnotesize\ttfamily pomdp\+\_\+solver.\+POMDP.\+model}



Build pomdp model. 

Make \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model simple.

Unfold memory into the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model.

Make the pomdp model canonical.

Defining build options to ensure that choice labels remain. 

The documentation for this class was generated from the following file\+:\begin{DoxyCompactItemize}
\item 
src/pomdp\+\_\+solver.\+py\end{DoxyCompactItemize}
