From 008ab0170d822a5a8b3705225a9428ea821aca83 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Sat, 7 Jan 2017 09:59:10 +0100
Subject: [PATCH] fix operator << result
---
alib2data/src/automaton/PDA/NPDA.h | 2 +-
alib2data/src/automaton/PDA/NPDTA.h | 2 +-
alib2data/src/automaton/PDA/SinglePopDPDA.h | 2 +-
alib2data/src/automaton/PDA/SinglePopNPDA.h | 2 +-
4 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/alib2data/src/automaton/PDA/NPDA.h b/alib2data/src/automaton/PDA/NPDA.h
index d62a041fdc..5a58bb31fb 100644
--- a/alib2data/src/automaton/PDA/NPDA.h
+++ b/alib2data/src/automaton/PDA/NPDA.h
@@ -284,7 +284,7 @@ int NPDA < SymbolType, EpsilonType, StateType >::compare(const NPDA& other) cons
template < class SymbolType, class EpsilonType, class StateType >
void NPDA < SymbolType, EpsilonType, StateType >::operator>>(std::ostream& out) const {
- out << "(DPDA "
+ out << "(NPDA "
<< "states = " << getStates()
<< "inputAlphabet = " << getInputAlphabet()
<< "initialState = " << getInitialState()
diff --git a/alib2data/src/automaton/PDA/NPDTA.h b/alib2data/src/automaton/PDA/NPDTA.h
index 1b1f9fdc7a..fac75f08cb 100644
--- a/alib2data/src/automaton/PDA/NPDTA.h
+++ b/alib2data/src/automaton/PDA/NPDTA.h
@@ -338,7 +338,7 @@ int NPDTA < SymbolType, EpsilonType, StateType >::compare(const NPDTA& other) co
template < class SymbolType, class EpsilonType, class StateType >
void NPDTA < SymbolType, EpsilonType, StateType >::operator>>(std::ostream& out) const {
- out << "(DPDA "
+ out << "(NPDTA "
<< "states = " << getStates()
<< "inputAlphabet = " << getInputAlphabet()
<< "outputAlphabet = " << getOutputAlphabet()
diff --git a/alib2data/src/automaton/PDA/SinglePopDPDA.h b/alib2data/src/automaton/PDA/SinglePopDPDA.h
index e8742ac799..6b2a4f80a2 100644
--- a/alib2data/src/automaton/PDA/SinglePopDPDA.h
+++ b/alib2data/src/automaton/PDA/SinglePopDPDA.h
@@ -327,7 +327,7 @@ int SinglePopDPDA < SymbolType, EpsilonType, StateType >::compare(const SinglePo
template < class SymbolType, class EpsilonType, class StateType >
void SinglePopDPDA < SymbolType, EpsilonType, StateType >::operator>>(std::ostream& out) const {
- out << "(DPDA "
+ out << "(SinglePopDPDA "
<< "states = " << getStates()
<< "inputAlphabet = " << getInputAlphabet()
<< "initialState = " << getInitialState()
diff --git a/alib2data/src/automaton/PDA/SinglePopNPDA.h b/alib2data/src/automaton/PDA/SinglePopNPDA.h
index 25adf8656b..eef57cd63c 100644
--- a/alib2data/src/automaton/PDA/SinglePopNPDA.h
+++ b/alib2data/src/automaton/PDA/SinglePopNPDA.h
@@ -289,7 +289,7 @@ int SinglePopNPDA < SymbolType, EpsilonType, StateType >::compare(const SinglePo
template < class SymbolType, class EpsilonType, class StateType >
void SinglePopNPDA < SymbolType, EpsilonType, StateType >::operator>>(std::ostream& out) const {
- out << "(DPDA "
+ out << "(SinglePopNPDA "
<< "states = " << getStates()
<< "inputAlphabet = " << getInputAlphabet()
<< "initialState = " << getInitialState()
--
GitLab