diff --git a/alib2/src/automaton/State.cpp b/alib2/src/automaton/State.cpp index 58a8f7cbceafcd1805803ce905c8be1be89f2490..2c99e39ebea0a1a6696caee3c6af7daa839d6976 100644 --- a/alib2/src/automaton/State.cpp +++ b/alib2/src/automaton/State.cpp @@ -24,8 +24,9 @@ bool State::operator < (const State& other) const { bool State::operator == (const State& other) const { return name == other.name; } + bool State::operator != (const State& other) const{ - return name != other.name; + return !(*this == other); } std::ostream& operator<<(std::ostream& out, const State& state) {