making inheritance of Parsers public (for AutoParser)

src/parser/DeterministicSparseTransitionParser.h

@@ -14,11 +14,8 @@ namespace parser {
 /*!
  *	@brief	Load a deterministic transition system from file and create a
  *	sparse adjacency matrix whose entries represent the weights of the edges
- *
- *	Note that this class creates a new StaticSparseMatrix object that can be
- *	accessed via getMatrix(). However, it does not delete this object!
  */
-class DeterministicSparseTransitionParser : Parser {
+class DeterministicSparseTransitionParser : public Parser {
 	public:
 		DeterministicSparseTransitionParser(std::string const &filename);
 		

src/parser/NonDeterministicSparseTransitionParser.h

@@ -16,7 +16,7 @@ namespace parser {
  *	@brief	Load a nondeterministic transition system from file and create a
  *	sparse adjacency matrix whose entries represent the weights of the edges
  */
-class NonDeterministicSparseTransitionParser : Parser {
+class NonDeterministicSparseTransitionParser : public Parser {
 	public:
 		NonDeterministicSparseTransitionParser(std::string const &filename);