Lines Matching refs:Fsm

74 void Fsm::DumpState(yostream& s, size_t state) const  in DumpState()
176 void Fsm::DumpTo(yostream& s, const ystring& name) const in DumpTo()
185 yostream& operator << (yostream& s, const Fsm& fsm) { fsm.DumpTo(s); return s; } in operator <<()
192 Fsm::Fsm(): in Fsm() function in Pire::Fsm
203 Fsm Fsm::MakeFalse() in MakeFalse()
205 Fsm f; in MakeFalse()
210 Char Fsm::Translate(Char c) const in Translate()
218 bool Fsm::Connected(size_t from, size_t to, Char c) const in Connected()
224 bool Fsm::Connected(size_t from, size_t to) const in Connected()
232 const Fsm::StatesSet& Fsm::Destinations(size_t from, Char c) const in Destinations()
238 TSet<Char> Fsm::OutgoingLetters(size_t state) const in OutgoingLetters()
246 size_t Fsm::Resize(size_t newSize) in Resize()
253 void Fsm::Swap(Fsm& fsm) in Swap()
265 void Fsm::SetFinal(size_t state, bool final) in SetFinal()
273 Fsm& Fsm::AppendDot() in AppendDot()
284 Fsm& Fsm::Append(char c) in Append()
294 Fsm& Fsm::Append(const ystring& str) in Append()
301 Fsm& Fsm::AppendSpecial(Char c) in AppendSpecial()
311 Fsm& Fsm::AppendStrings(const TVector<ystring>& strings) in AppendStrings()
378 void Fsm::Import(const Fsm& rhs) in Import()
430 void Fsm::Connect(size_t from, size_t to, Char c /* = Epsilon */) in Connect()
436 void Fsm::ConnectFinal(size_t to, Char c /* = Epsilon */) in ConnectFinal()
443 void Fsm::Disconnect(size_t from, size_t to, Char c) in Disconnect()
451 void Fsm::Disconnect(size_t from, size_t to) in Disconnect()
458 unsigned long Fsm::Output(size_t from, size_t to) const in Output()
470 Fsm& Fsm::operator += (const Fsm& rhs) in operator +=()
499 Fsm& Fsm::operator |= (const Fsm& rhs) in operator |=()
530 Fsm& Fsm::operator &= (const Fsm& rhs) in operator &=()
532 Fsm rhs2(rhs); in operator &=()
540 Fsm& Fsm::Iterate() in Iterate()
560 Fsm& Fsm::Complement() in Complement()
576 Fsm Fsm::operator *(size_t count) const in operator *()
578 Fsm ret; in operator *()
584 void Fsm::MakePrefix() in MakePrefix()
593 void Fsm::MakeSuffix() in MakeSuffix()
601 Fsm& Fsm::Reverse() in Reverse()
603 Fsm out; in Reverse()
633 TSet<size_t> Fsm::DeadStates() const in DeadStates()
638 Fsm digraph; in DeadStates()
695 void Fsm::RemoveDeadEnds() in RemoveDeadEnds()
715 void Fsm::MergeEpsilonConnection(size_t from, size_t to) in MergeEpsilonConnection()
768 void Fsm::ShortCutEpsilon(size_t from, size_t thru, TVector< TSet<size_t> >& inveps) in ShortCutEpsilon()
785 void Fsm::RemoveEpsilons() in RemoveEpsilons()
825 bool Fsm::LettersEquality::operator()(Char a, Char b) const in operator ()()
839 void Fsm::Sparse(bool needEpsilons /* = false */) in Sparse()
850 void Fsm::Unsparse() in Unsparse()
861 TSet<size_t> Fsm::TerminalStates() const in TerminalStates()
880 typedef Fsm::LettersTbl LettersTbl;
883 FsmDetermineTask(const Fsm& fsm) in FsmDetermineTask()
985 Fsm::Outputs oldOutputs; in Success()
1007 Fsm& Output() { return mNewFsm; } in Output()
1009 const Fsm& mFsm;
1010 Fsm mNewFsm;
1016 bool Fsm::Determine(size_t maxsize /* = 0 */) in Determine()
1039 explicit FsmMinimizeTask(const Fsm& fsm) in FsmMinimizeTask()
1137 Fsm& Output() { in Output()
1142 const Fsm& mFsm;
1143 Fsm mNewFsm;
1150 void Fsm::Minimize() in Minimize()
1161 Fsm& Fsm::Canonize(size_t maxSize /* = 0 */) in Canonize()
1171 void Fsm::PrependAnything() in PrependAnything()
1184 void Fsm::AppendAnything() in AppendAnything()
1198 Fsm& Fsm::Surround() in Surround()
1205 void Fsm::Divert(size_t from, size_t to, size_t dest) in Divert()