#include <FactoredPomdp.h>

Public Member Functions
const bool	checkActionNameExists (string actionName) const
bool	checkFunctionProbabilities (Function f, TiXmlElement xmlnode, string whichFunction)
const bool	checkIdentityIsValid (vector< string > tokens) const
const bool	checkInstanceMatchesParent (string instanceName, string parent)
const bool	checkObsNameExists (string obsName) const
const bool	checkParentNameExists (string parentName) const
const int	checkProblemType ()
const bool	checkRewardFunctionHasOnlyPreviousTimeSliceAndAction () const
const bool	checkRewardNameExists (string rewardName) const
const bool	checkStateNameExists (string stateName) const
const bool	checkTerminalNameExists (string rewardName) const
SharedPointer< SparseTable >	combineSimilarEntriesInReward (SharedPointer< SparseTable > st)
void	convertFactored ()
void	convertFactoredBelief ()
void	convertFactoredBeliefCommon (ofstream &debugfile, bool printDebugFile)
void	convertFactoredBeliefReparam ()
void	convertFactoredNoObservationsVariables ()
void	convertFactoredObsTrans ()
void	convertFactoredReparam ()
void	convertFactoredRewardTrans ()
void	convertFactoredStateReparamTrans ()
void	convertFactoredStateTrans ()
void	convertFactoredTerminalStateReward ()
void	convertFactoredVariables ()
void	convertFast ()
void	convertFastBelief ()
void	convertFastNoObservationsVariables ()
void	convertFastObsTrans ()
void	convertFastRewardTrans ()
void	convertFastStateTrans ()
void	convertFastVariables ()
ObsAct	createAction (TiXmlElement *varChild)
Function	createFunction (TiXmlElement *pFunction, int whichFunction)
void	createInitialBelief (TiXmlElement *varChild)
ObsAct	createObservation (TiXmlElement *varChild)
State	createState (TiXmlElement *varChild)
vector< vector< PreSparseMatrix > >	createVvPreSparseMatrix (int a, int b, int c, int d)
const void	defineCanonicalNames ()
void	expandFactoredStateTable (SharedPointer< SparseTable > sf)
SharedPointer< SparseTable >	expandObsRewSparseTable (SharedPointer< SparseTable > st, int whichFunction)
	FactoredPomdp ()
	FactoredPomdp (string f)
const State &	findState (string varName)
map< string, string >	getActionsSymbols (int actionNum)
map< string, string >	getFactoredObservedStatesSymbols (int stateNum)
map< string, string >	getFactoredUnobservedStatesSymbols (int stateNum)
bool	getNextActionSVarValues (map< string, int > &curValues, int &action, int &stateNum)
bool	getNextActionXXpYVarValues (map< string, int > &curValues, int &action, int &stateX, int &stateXp, int &stateY)
bool	getNextActionXYVarValues (map< string, int > &curValues, int &action, int &stateX, int &stateY)
bool	getNextSVarValues (map< string, int > &curValues, int &stateNum)
bool	getNextXYVarValues (map< string, int > &curValues, int &stateX, int &stateY)
map< string, string >	getObservationsSymbols (int observationNum)
const set< string >	getRewardFunctionCurrentTimeSliceVars (Function *rewardFunc)
map< string, int >	getStartActionSVarValues ()
map< string, int >	getStartActionXYVarValues ()
map< string, int >	getStartSVarValues ()
map< string, int >	getStartXYVarValues ()
vector< vector< SharedPointer < SparseMatrix > > >	helperPreSparseMatrixToSparseMatrix (vector< vector< PreSparseMatrix > > precm)
vector< vector< vector < SharedPointer< SparseMatrix > > > >	helperPreSparseMatrixToSparseMatrix (vector< vector< vector< PreSparseMatrix > > >precm)
const bool	isCurrentTimeSlice (string name) const
const bool	isPreviousTimeSlice (string name) const
void	mapActionsToValue ()
void	mapFactoredBeliefIndexesToValue (SharedPointer< SparseTable > st)
void	mapFactoredCIsToValue (SharedPointer< SparseTable > st)
void	mapFactoredStatesToValue ()
void	mapFactoredStateUIsToValue (SharedPointer< SparseTable > st)
void	mapFastIndexesToValues (SharedPointer< SparseTable > st)
void	mapFastStatesToValue ()
void	mapObservationsToValue ()
void	mapObservationsUIsToValue (SharedPointer< SparseTable > st)
void	mergeBeliefTables (ofstream &debugfile, bool printDebugFile)
SharedPointer< SparseTable >	mergeSparseTables (vector< SharedPointer< SparseTable > > stList, int whichFunction, ofstream &debugfile, bool printDebugFile)
SharedPointer< SparseTable >	mergeTables (vector< Function > *functionList, int whichFunction, ofstream &debugfile, bool printDebugFile)
void	preprocessBeliefTables (ofstream &debugfile, bool printDebugFile)
void	preprocessRewardFunction ()
SharedPointer< SparseTable >	preprocessRewardTable ()
void	printSparseMatrix (string title, vector< vector< SharedPointer< SparseMatrix > > > M, ofstream &debugfile)
void	printXMLErrorHeader (TiXmlBase *base)
void	printXMLWarningHeader (TiXmlBase *base)
SharedPointer< SparseTable >	reduceUnmatchedCIWithUI (SharedPointer< SparseTable > st, ofstream &debugfile, bool printDebugFile)
SharedPointer< SparseTable >	removeRedundantUIsFromReward (SharedPointer< SparseTable > st)
void	resortFactoredStateTables (ofstream &debugfile, bool printDebugFile, const int MIXEDTYPE)
void	resortFastStateTables (ofstream &debugfile, bool printDebugFile)
void	sortStateList ()
unsigned int	start ()
void	Tokenize (const string &str, vector< string > &tokens, const string &delimiters=" ")
bool	validateModel (Function sf, string &info)
	~FactoredPomdp ()
Public Attributes
map< string, int >	actionStringIndexMap
map< int, int >	factoredPositionCIIndexMap
map< int, int >	factoredPositionUIIndexMap
map< int, int >	fastPositionCIIndexMap
map< int, int >	fastPositionUIIndexMap
SharedPointer< SparseTable >	finalBeliefTable
SharedPointer< SparseTable >	finalRewardTable
SharedPointer< SparseTable >	finalStateTable
POMDPLayer	layer
int	numActions
int	numMergedStates
int	numMergedStatesX
int	numMergedStatesY
int	numObservations
map< string, int >	observationStringIndexMap
map< int, int >	observationUIIndexMap
map< string, int >	positionStringIndexMap
map< string, int >	positionXStringIndexMap
map< string, int >	positionYStringIndexMap
bool	preprocessBeliefTablesDone
Private Attributes
vector< Function >	actionFunctionList
vector< ObsAct >	actionList
vector< Function >	beliefFunctionList
vector< string >	canonicalNameCurr
vector< string >	canonicalNameForTerminal
vector< string >	canonicalNamePrev
double	discount
string	filename
map< string, Function * >	mapFunc
map< string, StateObsAct * >	mymap
vector< ObsAct >	observationList
vector< Function >	observFunctionList
vector< vector< vector< double > > >	oldObservTransition
vector< vector< double > >	oldRewardTransition
vector< vector< vector< double > > >	oldStateTransition
vector< Function >	processedBeliefFunctionList
vector< Function >	rewardFunctionList
vector< ObsAct >	rewardList
vector< Function >	stateFunctionList
vector< State >	stateList
vector< Function >	terminalStateRewardFunctionList
vector< ObsAct >	terminalStateRewardList
Friends
class	MOMDP

Detailed Description

Definition at line 83 of file FactoredPomdp.h.

Constructor & Destructor Documentation

FactoredPomdp::FactoredPomdp ( )

Definition at line 22 of file FactoredPomdp.cpp.

FactoredPomdp::FactoredPomdp ( string f )

Definition at line 27 of file FactoredPomdp.cpp.

FactoredPomdp::~FactoredPomdp ( )

Definition at line 32 of file FactoredPomdp.cpp.

Member Function Documentation

const bool FactoredPomdp::checkActionNameExists ( string actionName ) const

Definition at line 209 of file FactoredPomdp.cpp.

bool FactoredPomdp::checkFunctionProbabilities	(	Function *	f,
		TiXmlElement *	xmlnode,
		string	whichFunction
	)

Definition at line 1074 of file FactoredPomdp.cpp.

const bool FactoredPomdp::checkIdentityIsValid ( vector< string > tokens ) const

Definition at line 180 of file FactoredPomdp.cpp.

const bool FactoredPomdp::checkInstanceMatchesParent	(	string	instanceName,
		string	parent
	)

Definition at line 240 of file FactoredPomdp.cpp.

const bool FactoredPomdp::checkObsNameExists ( string obsName ) const

Definition at line 201 of file FactoredPomdp.cpp.

const bool FactoredPomdp::checkParentNameExists ( string parentName ) const

Definition at line 233 of file FactoredPomdp.cpp.

const int FactoredPomdp::checkProblemType ( )

Definition at line 1103 of file FactoredPomdp.cpp.

const bool FactoredPomdp::checkRewardFunctionHasOnlyPreviousTimeSliceAndAction ( ) const

Definition at line 1210 of file FactoredPomdp.cpp.

const bool FactoredPomdp::checkRewardNameExists ( string rewardName ) const

Definition at line 217 of file FactoredPomdp.cpp.

const bool FactoredPomdp::checkStateNameExists ( string stateName ) const

Definition at line 193 of file FactoredPomdp.cpp.

const bool FactoredPomdp::checkTerminalNameExists ( string rewardName ) const

Definition at line 225 of file FactoredPomdp.cpp.

SharedPointer<SparseTable> momdp::FactoredPomdp::combineSimilarEntriesInReward ( SharedPointer< SparseTable > st )

void FactoredPomdp::convertFactored ( )

Definition at line 1904 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFactoredBelief ( )

Definition at line 3088 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFactoredBeliefCommon	(	ofstream &	debugfile,
		bool	printDebugFile
	)

Definition at line 3078 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFactoredBeliefReparam ( )

Definition at line 3187 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFactoredNoObservationsVariables ( )

Definition at line 2858 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFactoredObsTrans ( )

Definition at line 2739 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFactoredReparam ( )

Definition at line 1925 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFactoredRewardTrans ( )

Definition at line 2955 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFactoredStateReparamTrans ( )

Definition at line 2269 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFactoredStateTrans ( )

Definition at line 2541 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFactoredTerminalStateReward ( )

Definition at line 3020 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFactoredVariables ( )

Definition at line 3390 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFast ( )

Definition at line 1284 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFastBelief ( )

Definition at line 1808 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFastNoObservationsVariables ( )

Definition at line 1690 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFastObsTrans ( )

Definition at line 1578 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFastRewardTrans ( )

Definition at line 1751 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFastStateTrans ( )

Definition at line 1410 of file FactoredPomdp.cpp.

void FactoredPomdp::convertFastVariables ( )

Definition at line 1874 of file FactoredPomdp.cpp.

ObsAct FactoredPomdp::createAction ( TiXmlElement * varChild )

Definition at line 141 of file FactoredPomdp.cpp.

Function FactoredPomdp::createFunction	(	TiXmlElement *	pFunction,
		int	whichFunction
	)

Definition at line 266 of file FactoredPomdp.cpp.

void momdp::FactoredPomdp::createInitialBelief ( TiXmlElement * varChild )

ObsAct FactoredPomdp::createObservation ( TiXmlElement * varChild )

Definition at line 111 of file FactoredPomdp.cpp.

State FactoredPomdp::createState ( TiXmlElement * varChild )

Definition at line 67 of file FactoredPomdp.cpp.

vvPreSparseMatrix FactoredPomdp::createVvPreSparseMatrix	(	int	a,
		int	b,
		int	c,
		int	d
	)

Definition at line 2514 of file FactoredPomdp.cpp.

const void FactoredPomdp::defineCanonicalNames ( )

Definition at line 2092 of file FactoredPomdp.cpp.

void FactoredPomdp::expandFactoredStateTable ( SharedPointer< SparseTable > sf )

Definition at line 2010 of file FactoredPomdp.cpp.

SharedPointer< SparseTable > FactoredPomdp::expandObsRewSparseTable	(	SharedPointer< SparseTable >	st,
		int	whichFunction
	)

Definition at line 3427 of file FactoredPomdp.cpp.

const State & FactoredPomdp::findState ( string varName )

Definition at line 247 of file FactoredPomdp.cpp.

map< string, string > FactoredPomdp::getActionsSymbols ( int actionNum )

Definition at line 3579 of file FactoredPomdp.cpp.

map< string, string > FactoredPomdp::getFactoredObservedStatesSymbols ( int stateNum )

Definition at line 3600 of file FactoredPomdp.cpp.

map< string, string > FactoredPomdp::getFactoredUnobservedStatesSymbols ( int stateNum )

Definition at line 3623 of file FactoredPomdp.cpp.

bool FactoredPomdp::getNextActionSVarValues	(	map< string, int > &	curValues,
		int &	action,
		int &	stateNum
	)

Definition at line 3849 of file FactoredPomdp.cpp.

bool FactoredPomdp::getNextActionXXpYVarValues	(	map< string, int > &	curValues,
		int &	action,
		int &	stateX,
		int &	stateXp,
		int &	stateY
	)

Definition at line 3728 of file FactoredPomdp.cpp.

bool FactoredPomdp::getNextActionXYVarValues	(	map< string, int > &	curValues,
		int &	action,
		int &	stateX,
		int &	stateY
	)

Definition at line 3704 of file FactoredPomdp.cpp.

bool FactoredPomdp::getNextSVarValues	(	map< string, int > &	curValues,
		int &	stateNum
	)

Definition at line 3873 of file FactoredPomdp.cpp.

bool FactoredPomdp::getNextXYVarValues	(	map< string, int > &	curValues,
		int &	stateX,
		int &	stateY
	)

Definition at line 3804 of file FactoredPomdp.cpp.

map< string, string > FactoredPomdp::getObservationsSymbols ( int observationNum )

Definition at line 3645 of file FactoredPomdp.cpp.

const set< string > FactoredPomdp::getRewardFunctionCurrentTimeSliceVars ( Function * rewardFunc )

Definition at line 1225 of file FactoredPomdp.cpp.

map< string, int > FactoredPomdp::getStartActionSVarValues ( )

Definition at line 3686 of file FactoredPomdp.cpp.

map< string, int > FactoredPomdp::getStartActionXYVarValues ( )

Definition at line 3667 of file FactoredPomdp.cpp.

map< string, int > FactoredPomdp::getStartSVarValues ( )

Definition at line 3694 of file FactoredPomdp.cpp.

map< string, int > FactoredPomdp::getStartXYVarValues ( )

Definition at line 3675 of file FactoredPomdp.cpp.

vvSparseMatrix FactoredPomdp::helperPreSparseMatrixToSparseMatrix ( vector< vector< PreSparseMatrix > > precm )

Definition at line 2923 of file FactoredPomdp.cpp.

vector< vvSparseMatrix > FactoredPomdp::helperPreSparseMatrixToSparseMatrix ( vector< vector< vector< PreSparseMatrix > > > precm )

Definition at line 2938 of file FactoredPomdp.cpp.

const bool FactoredPomdp::isCurrentTimeSlice ( string name ) const

Definition at line 1269 of file FactoredPomdp.cpp.

const bool FactoredPomdp::isPreviousTimeSlice ( string name ) const

Definition at line 1255 of file FactoredPomdp.cpp.

void FactoredPomdp::mapActionsToValue ( )

Definition at line 2131 of file FactoredPomdp.cpp.

void FactoredPomdp::mapFactoredBeliefIndexesToValue ( SharedPointer< SparseTable > st )

Definition at line 2235 of file FactoredPomdp.cpp.

void FactoredPomdp::mapFactoredCIsToValue ( SharedPointer< SparseTable > st )

Definition at line 2192 of file FactoredPomdp.cpp.

void FactoredPomdp::mapFactoredStatesToValue ( )

Definition at line 2166 of file FactoredPomdp.cpp.

void FactoredPomdp::mapFactoredStateUIsToValue ( SharedPointer< SparseTable > st )

Definition at line 2215 of file FactoredPomdp.cpp.

void FactoredPomdp::mapFastIndexesToValues ( SharedPointer< SparseTable > st )

Definition at line 1325 of file FactoredPomdp.cpp.

void FactoredPomdp::mapFastStatesToValue ( )

Definition at line 1307 of file FactoredPomdp.cpp.

void FactoredPomdp::mapObservationsToValue ( )

Definition at line 2142 of file FactoredPomdp.cpp.

void FactoredPomdp::mapObservationsUIsToValue ( SharedPointer< SparseTable > st )

Definition at line 2153 of file FactoredPomdp.cpp.

void FactoredPomdp::mergeBeliefTables	(	ofstream &	debugfile,
		bool	printDebugFile
	)

Definition at line 3368 of file FactoredPomdp.cpp.

SharedPointer< SparseTable > FactoredPomdp::mergeSparseTables	(	vector< SharedPointer< SparseTable > >	stList,
		int	whichFunction,
		ofstream &	debugfile,
		bool	printDebugFile
	)

Definition at line 1947 of file FactoredPomdp.cpp.

SharedPointer< SparseTable > FactoredPomdp::mergeTables	(	vector< Function > *	functionList,
		int	whichFunction,
		ofstream &	debugfile,
		bool	printDebugFile
	)