All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Member Functions | Private Attributes | List of all members
osl::record::csa::CsaFile Class Reference

#include <csaRecord.h>

Collaboration diagram for osl::record::csa::CsaFile:
Collaboration graph
[legend]

Public Member Functions

 CsaFile (const std::string &fileName)
 
 ~CsaFile ()
 
Record const & getRecord () const
 
const NumEffectState getInitialState () const
 

Private Attributes

Record rec
 

Detailed Description

Definition at line 32 of file csaRecord.h.

Constructor & Destructor Documentation

osl::record::csa::CsaFile::CsaFile ( const std::string &  fileName)

Definition at line 259 of file csaRecord.cc.

References osl::record::csa::InputStream::load().

osl::record::csa::CsaFile::~CsaFile ( )

Definition at line 273 of file csaRecord.cc.

Member Function Documentation

const osl::NumEffectState osl::record::csa::CsaFile::getInitialState ( ) const

Definition at line 284 of file csaRecord.cc.

Referenced by CsaPredicate::CsaPredicate(), find_bad_moves(), and main().

const osl::record::Record & osl::record::csa::CsaFile::getRecord ( ) const

Definition at line 278 of file csaRecord.cc.

Referenced by convert(), find_bad_moves(), main(), and readFile().

Member Data Documentation

Record osl::record::csa::CsaFile::rec
private

Definition at line 35 of file csaRecord.h.


The documentation for this class was generated from the following files: