KMPSkipValue Class Reference

The skip value function based on the KMP algorithm for string matching. More...

#include <kmp_skip_value.hh>

Public Member Functions
	KMPSkipValue (const TimedAutomaton &TA, int m)
int	at (const TAState *s) const
int	operator[] (const TAState *s) const
int	at (const std::shared_ptr< TAState > &s) const
int	operator[] (const std::shared_ptr< TAState > &s) const

Detailed Description

The skip value function based on the KMP algorithm for string matching.

Note

We construct the table maintaining all the skip values in the constructor for the efficiency at runtime.

See also

https://doi.org/10.1137%2F0206024

---

The documentation for this class was generated from the following file:

• kmp_skip_value.hh