Type used for representing a pair of states. More...
#include <nfa_intersec.h>
Type used for representing a pair of states.