real::dfa_fidelity Struct Reference

The answer of real::dfa_faithful. More...

#include <dfa.hpp>

Public Attributes
dfa_fidelity_outcome	outcome {dfa_fidelity_outcome::faithful}
	The decision.
std::size_t	rule_index {0}
	The first pattern not proven faithful (0 for one pattern).
std::string	witness

Detailed Description

The answer of real::dfa_faithful.

Member Data Documentation

witness

std::string real::dfa_fidelity::witness

Divergent only: an input on which match() is shorter than the longest match. Bytes, not necessarily valid UTF-8.

---

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

• include/real/dfa.hpp