templated base class of automata

alib2data/src/automaton/AutomatonBase.cpp

-/*
- * AutomatonBase.cpp
- *
- *  Created on: Apr 16, 2013
- *      Author: Jan Travnicek
- */
-
-#include "AutomatonBase.h"
-
-namespace automaton {
-
-AutomatonBase::~AutomatonBase() {
-
-}
-
-bool AutomatonBase::operator!=(const AutomatonBase& other) const {
-	return !(*this == other);
-}
-
-bool AutomatonBase::operator==(const UnknownAutomaton&) const {
-	return false;
-}
-
-bool AutomatonBase::operator==(const DFA&) const {
-	return false;
-}
-
-bool AutomatonBase::operator==(const NFA&) const {
-	return false;
-}
-
-bool AutomatonBase::operator==(const EpsilonNFA&) const{
-	return false;
-}
-
-bool AutomatonBase::operator==(const CompactNFA&) const{
-	return false;
-}
-
-bool AutomatonBase::operator==(const ExtendedNFA&) const {
-	return false;
-}
-
-bool AutomatonBase::operator==(const NPDA&) const {
-	return false;
-}
-
-bool AutomatonBase::operator==(const SinglePopNPDA&) const {
-	return false;
-}
-
-bool AutomatonBase::operator==(const OneTapeDTM&) const {
-	return false;
-}
-
-bool AutomatonBase::operator==(const AutomatonBase&) const {
-	return false;
-}
-
-std::ostream& operator<<(std::ostream& os, const AutomatonBase& automaton) {
-	automaton >> os;
-	return os;
-}
-
-} /* namespace automaton */
-

alib2data/src/automaton/AutomatonBase.h

@@ -9,7 +9,7 @@
 #define AUTOMATON_BASE_H_
 #include "../std/visitor.hpp"
-#include <iostream>
+#include "../common/base.hpp"
 namespace automaton {
@@ -26,41 +26,7 @@ class OneTapeDTM;
 /**
  * Abstract base class for all automata.
  */
-class AutomatonBase : public std::elementBase<UnknownAutomaton, DFA, NFA, EpsilonNFA, CompactNFA, ExtendedNFA, NPDA, SinglePopNPDA, OneTapeDTM> {
-public:
-	virtual AutomatonBase* clone() const = 0;
-
-	virtual AutomatonBase* plunder() && = 0;
-
-	virtual ~AutomatonBase() noexcept;
-
-	virtual bool operator!=(const AutomatonBase& other) const;
-
-	virtual bool operator==(const UnknownAutomaton& other) const;
-
-	virtual bool operator==(const DFA& other) const;
-
-	virtual bool operator==(const NFA& other) const;
-
-	virtual bool operator==(const EpsilonNFA& other) const;
-
-	virtual bool operator==(const CompactNFA& other) const;
-
-	virtual bool operator==(const ExtendedNFA& other) const;
-
-	virtual bool operator==(const NPDA& other) const;
-
-	virtual bool operator==(const SinglePopNPDA& other) const;
-
-	virtual bool operator==(const OneTapeDTM& other) const;
-
-	virtual bool operator==(const AutomatonBase& other) const = 0;
-
-	friend std::ostream& operator<<(std::ostream& os, const AutomatonBase& automaton);
-
-	virtual void operator>>(std::ostream&) const = 0;
-
-	virtual operator std::string () const = 0;
+class AutomatonBase : public alib::base<AutomatonBase, UnknownAutomaton, DFA, NFA, EpsilonNFA, CompactNFA, ExtendedNFA, NPDA, SinglePopNPDA, OneTapeDTM>, public std::elementBase<UnknownAutomaton, DFA, NFA, EpsilonNFA, CompactNFA, ExtendedNFA, NPDA, SinglePopNPDA, OneTapeDTM> {
 };
 } /* namespace automaton */

alib2data/src/automaton/FSM/CompactNFA.cpp

@@ -113,10 +113,22 @@ bool CompactNFA::operator==(const AutomatonBase& other) const {
 	return other == *this;
 }
+bool CompactNFA::operator<(const AutomatonBase& other) const {
+	return other > *this;
+}
+
+bool CompactNFA::operator>(const AutomatonBase& other) const {
+	return other < *this;
+}
+
 bool CompactNFA::operator==(const CompactNFA& other) const {
 	return states == other.states && inputAlphabet == other.inputAlphabet && initialStates == other.initialStates && finalStates == other.finalStates && transitions == other.transitions;
 }
+bool CompactNFA::operator<(const CompactNFA& other) const {
+	return std::tie(states, inputAlphabet, initialStates, finalStates, transitions) < std::tie(other.states, other.inputAlphabet, other.initialStates, other.finalStates, other.transitions);
+}
+
 void CompactNFA::operator>>(std::ostream& out) const {
 	out << "(CompactNFA"
 		<< "states = " << states

alib2data/src/automaton/FSM/CompactNFA.h

@@ -70,13 +70,20 @@ public:
 	 */
 	std::map<std::pair<State, string::String>, std::set<State>> getTransitionsToState(const State& from) const;
+	virtual bool operator<(const AutomatonBase& other) const;
 	virtual bool operator==(const AutomatonBase& other) const;
+	virtual bool operator>(const AutomatonBase& other) const;
 	virtual bool operator==(const CompactNFA& other) const;
+	virtual bool operator<(const CompactNFA& other) const;
 	virtual void operator>>(std::ostream& os) const;
 	virtual operator std::string() const;
+
+	virtual int selfTypeId() const {
+		return typeId(*this);
+	}
 };
 } /* namespace automaton */

alib2data/src/automaton/FSM/DFA.cpp

@@ -136,10 +136,22 @@ bool DFA::operator==(const AutomatonBase& other) const {
 	return other == *this;
 }
+bool DFA::operator<(const AutomatonBase& other) const {
+	return other > *this;
+}
+
+bool DFA::operator>(const AutomatonBase& other) const {
+	return other < *this;
+}
+
 bool DFA::operator==(const DFA& other) const {
 	return this->states == other.states && this->inputAlphabet == other.inputAlphabet && this->initialState == other.initialState && this->finalStates == other.finalStates && this->transitions == other.transitions;
 }
+bool DFA::operator<(const DFA& other) const {
+	return std::tie(states, inputAlphabet, initialState, finalStates, transitions) < std::tie(other.states, other.inputAlphabet, other.initialState, other.finalStates, other.transitions);
+}
+
 void DFA::operator>>(std::ostream& out) const {
 	out << "(DFA"
 		<< " states = " << states

alib2data/src/automaton/FSM/DFA.h

@@ -80,13 +80,20 @@ public:
 	 */
 	bool isTotal() const;
 	
+	virtual bool operator<(const AutomatonBase& other) const;
 	virtual bool operator==(const AutomatonBase& other) const;
+	virtual bool operator>(const AutomatonBase& other) const;
 	virtual bool operator==(const DFA& other) const;
+	virtual bool operator<(const DFA& other) const;
 	
 	virtual void operator>>(std::ostream& os) const;
 	virtual operator std::string() const;
+
+	virtual int selfTypeId() const {
+		return typeId(*this);
+	}
 };
 } /* namespace automaton */

alib2data/src/automaton/FSM/EpsilonNFA.cpp

@@ -236,10 +236,22 @@ bool EpsilonNFA::operator==(const AutomatonBase& other) const {
 	return other == *this;
 }
+bool EpsilonNFA::operator<(const AutomatonBase& other) const {
+	return other > *this;
+}
+
+bool EpsilonNFA::operator>(const AutomatonBase& other) const {
+	return other < *this;
+}
+
 bool EpsilonNFA::operator==(const EpsilonNFA& other) const {
 	return this->states == other.states && this->inputAlphabet == other.inputAlphabet && this->initialStates == other.initialStates && this->finalStates == other.finalStates && this->transitions == other.transitions;
 }
+bool EpsilonNFA::operator<(const EpsilonNFA& other) const {
+	return std::tie(states, inputAlphabet, initialStates, finalStates, transitions) < std::tie(other.states, other.inputAlphabet, other.initialStates, other.finalStates, other.transitions);
+}
+
 void EpsilonNFA::operator>>(std::ostream& out) const {
 	out << "(EpsilonNFA"
 		<< " states = " << states

alib2data/src/automaton/FSM/EpsilonNFA.h

@@ -151,13 +151,20 @@ public:
 	 */
 	bool isTotal() const;
+	virtual bool operator<(const AutomatonBase& other) const;
 	virtual bool operator==(const AutomatonBase& other) const;
+	virtual bool operator>(const AutomatonBase& other) const;
 	virtual bool operator==(const EpsilonNFA& other) const;
+	virtual bool operator<(const EpsilonNFA& other) const;
 	virtual void operator>>(std::ostream& os) const;
 	virtual operator std::string() const;
+
+	virtual int selfTypeId() const {
+		return typeId(*this);
+	}
 };
 } /* namespace automaton */

alib2data/src/automaton/FSM/ExtendedNFA.cpp

@@ -113,10 +113,22 @@ bool ExtendedNFA::operator==(const AutomatonBase& other) const {
 	return other == *this;
 }
+bool ExtendedNFA::operator<(const AutomatonBase& other) const {
+	return other > *this;
+}
+
+bool ExtendedNFA::operator>(const AutomatonBase& other) const {
+	return other < *this;
+}
+
 bool ExtendedNFA::operator==(const ExtendedNFA& other) const {
 	return this->states == other.states && this->inputAlphabet == other.inputAlphabet && this->initialStates == other.initialStates && this->finalStates == other.finalStates && this->transitions == other.transitions;
 }
+bool ExtendedNFA::operator<(const ExtendedNFA& other) const {
+	return std::tie(states, inputAlphabet, initialStates, finalStates, transitions) < std::tie(other.states, other.inputAlphabet, other.initialStates, other.finalStates, other.transitions);
+}
+
 void ExtendedNFA::operator>>(std::ostream& out) const {
 	out << "(ExtendedNFA"
 		<< " states = " << states

alib2data/src/automaton/FSM/ExtendedNFA.h

@@ -69,13 +69,20 @@ public:
 	 */
 	std::map<std::pair<State, regexp::RegExp>, std::set<State> > getTransitionsToState(const State& from) const;
+	virtual bool operator<(const AutomatonBase& other) const;
 	virtual bool operator==(const AutomatonBase& other) const;
+	virtual bool operator>(const AutomatonBase& other) const;
 	virtual bool operator==(const ExtendedNFA& other) const;
+	virtual bool operator<(const ExtendedNFA& other) const;
 	virtual void operator>>(std::ostream& os) const;
 	virtual operator std::string() const;
+
+	virtual int selfTypeId() const {
+		return typeId(*this);
+	}
 };
 } /* namespace automaton */

alib2data/src/automaton/FSM/NFA.cpp

@@ -125,10 +125,22 @@ bool NFA::operator==(const AutomatonBase& other) const {
 	return other == *this;
 }
+bool NFA::operator<(const AutomatonBase& other) const {
+	return other > *this;
+}
+
+bool NFA::operator>(const AutomatonBase& other) const {
+	return other < *this;
+}
+
 bool NFA::operator==(const NFA& other) const {
 	return this->states == other.states && this->inputAlphabet == other.inputAlphabet && this->initialStates == other.initialStates && this->finalStates == other.finalStates && this->transitions == other.transitions;
 }
+bool NFA::operator<(const NFA& other) const {
+	return std::tie(states, inputAlphabet, initialStates, finalStates, transitions) < std::tie(other.states, other.inputAlphabet, other.initialStates, other.finalStates, other.transitions);
+}
+
 void NFA::operator>>(std::ostream& out) const {
 	out << "(NFA"
 		<< " states = " << states

alib2data/src/automaton/FSM/NFA.h

@@ -89,13 +89,20 @@ public:
 	 */
 	bool isTotal() const;
+	virtual bool operator<(const AutomatonBase& other) const;
 	virtual bool operator==(const AutomatonBase& other) const;
+	virtual bool operator>(const AutomatonBase& other) const;
 	virtual bool operator==(const NFA& other) const;
+	virtual bool operator<(const NFA& other) const;
 	virtual void operator>>(std::ostream& os) const;
 	virtual operator std::string() const;
+
+	virtual int selfTypeId() const {
+		return typeId(*this);
+	}
 };
 } /* namespace automaton */

alib2data/src/automaton/PDA/NPDA.cpp

@@ -137,10 +137,22 @@ bool NPDA::operator==(const AutomatonBase& other) const {
 	return other == *this;
 }
+bool NPDA::operator<(const AutomatonBase& other) const {
+	return other > *this;
+}
+
+bool NPDA::operator>(const AutomatonBase& other) const {
+	return other < *this;
+}
+
 bool NPDA::operator==(const NPDA& other) const {
 	return this->states == other.states && this->inputAlphabet == other.inputAlphabet && this->initialStates == other.initialStates && this->finalStates == other.finalStates && this->stackAlphabet == other.stackAlphabet && this->initialSymbols == other.initialSymbols && this->transitions == other.transitions;
 }
+bool NPDA::operator<(const NPDA& other) const {
+	return std::tie(states, inputAlphabet, initialStates, finalStates, stackAlphabet, initialSymbols, transitions) < std::tie(other.states, other.inputAlphabet, other.initialStates, other.finalStates, other.stackAlphabet, other.initialSymbols, other.transitions);
+}
+
 void NPDA::operator>>(std::ostream& out) const {
 	out << "(NPDA"
 		<< "states = " << states

alib2data/src/automaton/PDA/NPDA.h

@@ -75,13 +75,21 @@ public:
 	 */
 	const std::map<std::tuple<State, std::variant<string::Epsilon, alphabet::Symbol>, std::vector<alphabet::Symbol> >, std::set<std::pair<State, std::vector<alphabet::Symbol> > > >& getTransitions() const;
+	virtual bool operator<(const AutomatonBase& other) const;
 	virtual bool operator==(const AutomatonBase& other) const;
+	virtual bool operator>(const AutomatonBase& other) const;
 	virtual bool operator==(const NPDA& other) const;
+	virtual bool operator<(const NPDA& other) const;
+
 	virtual void operator>>(std::ostream& os) const;
 	virtual operator std::string() const;
+
+	virtual int selfTypeId() const {
+		return typeId(*this);
+	}
 };
 } /* namespace automaton */

alib2data/src/automaton/PDA/SinglePopNPDA.cpp

@@ -133,10 +133,22 @@ bool SinglePopNPDA::operator==(const AutomatonBase& other) const {
 	return other == *this;
 }
+bool SinglePopNPDA::operator<(const AutomatonBase& other) const {
+	return other > *this;
+}
+
+bool SinglePopNPDA::operator>(const AutomatonBase& other) const {
+	return other < *this;
+}
+
 bool SinglePopNPDA::operator==(const SinglePopNPDA& other) const {
 	return this->states == other.states && this->inputAlphabet == other.inputAlphabet && this->initialStates == other.initialStates && this->finalStates == other.finalStates && this->stackAlphabet == other.stackAlphabet && this->initialSymbols == other.initialSymbols && this->transitions == other.transitions;
 }
+bool SinglePopNPDA::operator<(const SinglePopNPDA& other) const {
+	return std::tie(states, inputAlphabet, initialStates, finalStates, stackAlphabet, initialSymbols, transitions) < std::tie(other.states, other.inputAlphabet, other.initialStates, other.finalStates, other.stackAlphabet, other.initialSymbols, other.transitions);
+}
+
 void SinglePopNPDA::operator>>(std::ostream& out) const {
 	out << "(SinglePopNPDA"
 		<< "states = " << states

alib2data/src/automaton/PDA/SinglePopNPDA.h

@@ -75,13 +75,20 @@ public:
 	 */
 	const std::map<std::tuple<State, std::variant<string::Epsilon, alphabet::Symbol>, alphabet::Symbol>, std::set<std::pair<State, std::vector<alphabet::Symbol> > > >& getTransitions() const;
+	virtual bool operator<(const AutomatonBase& other) const;
 	virtual bool operator==(const AutomatonBase& other) const;
+	virtual bool operator>(const AutomatonBase& other) const;
 	virtual bool operator==(const SinglePopNPDA& other) const;
+	virtual bool operator<(const SinglePopNPDA& other) const;
 	virtual void operator>>(std::ostream& os) const;
 	virtual operator std::string() const;
+
+	virtual int selfTypeId() const {
+		return typeId(*this);
+	}
 };
 } /* namespace automaton */

alib2data/src/automaton/TM/OneTapeDTM.cpp

@@ -115,10 +115,22 @@ bool OneTapeDTM::operator==(const AutomatonBase& other) const {
 	return other == *this;
 }
+bool OneTapeDTM::operator<(const AutomatonBase& other) const {
+	return other > *this;
+}
+
+bool OneTapeDTM::operator>(const AutomatonBase& other) const {
+	return other < *this;
+}
+
 bool OneTapeDTM::operator==(const OneTapeDTM& other) const {
 	return this->states == other.states && this->inputAlphabet == other.inputAlphabet && this->initialState == other.initialState && this->finalStates == other.finalStates && this->tapeAlphabet == other.tapeAlphabet && this->blankSymbol == other.blankSymbol && this->transitions == other.transitions;
 }
+bool OneTapeDTM::operator<(const OneTapeDTM& other) const {
+	return std::tie(states, inputAlphabet, initialState, finalStates, tapeAlphabet, blankSymbol, transitions) < std::tie(other.states, other.inputAlphabet, other.initialState, other.finalStates, other.tapeAlphabet, other.blankSymbol, other.transitions);
+}
+
 void OneTapeDTM::operator>>(std::ostream& out) const {
 	out << "(OneTapeDTM"
 			<< "states = " << states

alib2data/src/automaton/TM/OneTapeDTM.h

@@ -73,13 +73,21 @@ public:
 	 */
 	const std::map<std::pair<State, alphabet::Symbol>, std::tuple<State, alphabet::Symbol, Shift> >& getTransitions() const;
+	virtual bool operator<(const AutomatonBase& other) const;
 	virtual bool operator==(const AutomatonBase& other) const;
+	virtual bool operator>(const AutomatonBase& other) const;
 	virtual bool operator==(const OneTapeDTM& other) const;
+	virtual bool operator<(const OneTapeDTM& other) const;
+
 	virtual void operator>>(std::ostream& os) const;
 	virtual operator std::string() const;
+
+	virtual int selfTypeId() const {
+		return typeId(*this);
+	}
 };
 } /* namespace automaton */

alib2data/src/automaton/UnknownAutomaton.cpp

@@ -8,6 +8,7 @@
 #include "UnknownAutomaton.h"
 #include "../std/set.hpp"
 #include <sstream>
+#include "../std/pointer.hpp"
 #include "AutomatonException.h"
@@ -184,6 +185,14 @@ bool UnknownAutomaton::operator==(const AutomatonBase& other) const {
 	return other == *this;
 }
+bool UnknownAutomaton::operator<(const AutomatonBase& other) const {
+	return other > *this;
+}
+
+bool UnknownAutomaton::operator>(const AutomatonBase& other) const {
+	return other < *this;
+}
+
 bool UnknownAutomaton::operator==(const UnknownAutomaton& other) const {
 	return states == other.states
 		&& inputAlphabet == other.inputAlphabet
@@ -196,6 +205,13 @@ bool UnknownAutomaton::operator==(const UnknownAutomaton& other) const {
 		&& transitions == other.transitions;
 }
+bool UnknownAutomaton::operator<(const UnknownAutomaton& other) const {
+	std::pointer<alphabet::Symbol> blankSymbolPointer(blankSymbol);
+	std::pointer<alphabet::Symbol> otherBlankSymbolPointer(other.blankSymbol);
+
+	return std::tie(states, inputAlphabet, initialStates, finalStates, stackAlphabet, initialSymbols, tapeAlphabet, blankSymbolPointer, transitions) < std::tie(other.states, other.inputAlphabet, other.initialStates, other.finalStates, other.stackAlphabet, other.initialSymbols, other.tapeAlphabet, otherBlankSymbolPointer, other.transitions);
+}
+
 void UnknownAutomaton::operator>>(std::ostream& out) const {
 	out << "(UnknownAutomaton"
 		<< " states = " << states

alib2data/src/automaton/UnknownAutomaton.h

@@ -271,17 +271,24 @@ public:
 	 */
 	const std::set<UnknownTransition>& getTransitions() const;
 	
+	virtual bool operator>(const AutomatonBase& other) const;
+	virtual bool operator==(const AutomatonBase& other) const;
+	virtual bool operator<(const AutomatonBase& other) const;
+
 	/**
 	 * Compares two instances of UnknownAutomata
 	 * @return true if this and other instance are same
 	 */
+	virtual bool operator<(const UnknownAutomaton& other) const;
 	virtual bool operator==(const UnknownAutomaton& other) const;
-	virtual bool operator==(const AutomatonBase& other) const;
-
 	virtual void operator>>(std::ostream& os) const;
 	virtual operator std::string() const;
+
+	virtual int selfTypeId() const {
+		return typeId(*this);
+	}
 };
 } /* namespace automaton */