diff --git a/alib2data/src/automaton/PDA/DPDA.cpp b/alib2data/src/automaton/PDA/DPDA.cpp index b557b37e0fa15d9c9a72ef83ee82817168a3d1ef..7769791ae0f0be0c440d6adcb66e182dbf7264b4 100644 --- a/alib2data/src/automaton/PDA/DPDA.cpp +++ b/alib2data/src/automaton/PDA/DPDA.cpp @@ -2,7 +2,7 @@ * DPDA.cpp * * Created on: Apr 10, 2013 - * Author: Martin Zak + * Author: Jan Travnicek */ #include "DPDA.h" diff --git a/alib2data/src/automaton/PDA/DPDA.h b/alib2data/src/automaton/PDA/DPDA.h index 2fedc19a03a07d66baa0e91d736f92b7bfbb9b83..bd80861563b86b86b25baf8c7634998950e118cc 100644 --- a/alib2data/src/automaton/PDA/DPDA.h +++ b/alib2data/src/automaton/PDA/DPDA.h @@ -2,7 +2,7 @@ * DPDA.h * * Created on: Apr 10, 2013 - * Author: Martin Zak + * Author: Jan Travnicek */ #ifndef DPDA_H_ diff --git a/alib2data/src/automaton/PDA/NPDA.cpp b/alib2data/src/automaton/PDA/NPDA.cpp index 1a0c251ed79d61b70797a18f9c99888d128b773c..7d01b68d80382983ebddf978af427aaa0602d3ef 100644 --- a/alib2data/src/automaton/PDA/NPDA.cpp +++ b/alib2data/src/automaton/PDA/NPDA.cpp @@ -2,7 +2,7 @@ * NPDA.cpp * * Created on: Apr 10, 2013 - * Author: Martin Zak + * Author: Jan Travnicek */ #include "NPDA.h" diff --git a/alib2data/src/automaton/PDA/NPDA.h b/alib2data/src/automaton/PDA/NPDA.h index 1b9bb906fa7f24e95ff92a8dcec14f9359803dbd..a5efe560eeddd34bde61097f83b0d9e61e442142 100644 --- a/alib2data/src/automaton/PDA/NPDA.h +++ b/alib2data/src/automaton/PDA/NPDA.h @@ -2,7 +2,7 @@ * NPDA.h * * Created on: Apr 10, 2013 - * Author: Martin Zak + * Author: Jan Travnicek */ #ifndef NPDA_H_ diff --git a/alib2data/src/automaton/PDA/SinglePopDPDA.cpp b/alib2data/src/automaton/PDA/SinglePopDPDA.cpp index e188c1c79b8f866ab9f3a46bbb3918bc37aa8635..2b14eb9227dd2342fa1dbbd143d0e0c2eb52ac67 100644 --- a/alib2data/src/automaton/PDA/SinglePopDPDA.cpp +++ b/alib2data/src/automaton/PDA/SinglePopDPDA.cpp @@ -2,7 +2,7 @@ * SinglePopDPDA.cpp * * Created on: Apr 10, 2013 - * Author: Martin Zak + * Author: Jan Travnicek */ #include "SinglePopDPDA.h" diff --git a/alib2data/src/automaton/PDA/SinglePopNPDA.cpp b/alib2data/src/automaton/PDA/SinglePopNPDA.cpp index 3d6bb29d90f4ad56734fd6d5ab15c931de3a54da..3c8ab22981e067ba561158934329dc93f3a3bd29 100644 --- a/alib2data/src/automaton/PDA/SinglePopNPDA.cpp +++ b/alib2data/src/automaton/PDA/SinglePopNPDA.cpp @@ -2,7 +2,7 @@ * SinglePopNPDA.cpp * * Created on: Apr 10, 2013 - * Author: Martin Zak + * Author: Jan Travnicek */ #include "SinglePopNPDA.h" diff --git a/alib2data/src/automaton/PDA/SinglePopNPDA.h b/alib2data/src/automaton/PDA/SinglePopNPDA.h index b3e233af3eb407518a4e252abaaabba95dd31085..faf23c975ec993a58ffbe12260d0296581f9e0a0 100644 --- a/alib2data/src/automaton/PDA/SinglePopNPDA.h +++ b/alib2data/src/automaton/PDA/SinglePopNPDA.h @@ -2,7 +2,7 @@ * SinglePopNPDA.h * * Created on: Apr 10, 2013 - * Author: Martin Zak + * Author: Jan Travnicek */ #ifndef SINGLE_POP_NPDA_H_ diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp index b70f68d506168987e53dd0e534cc99f8807c552f..8e30cb35cf68e9259fac7534c8cc2ab7ae3f4fd4 100644 --- a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp +++ b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.cpp @@ -2,7 +2,7 @@ * VisiblyPushdownNPDA.cpp * * Created on: Apr 10, 2013 - * Author: Martin Zak + * Author: Jan Travnicek */ #include "VisiblyPushdownNPDA.h"