/* NFA constants that are part of the NFA REPR API. */

#define MVM_NFA_EDGE_FATE              0

#define MVM_NFA_EDGE_EPSILON           1

#define MVM_NFA_EDGE_CODEPOINT         2

#define MVM_NFA_EDGE_CODEPOINT_NEG     3

#define MVM_NFA_EDGE_CHARCLASS         4

#define MVM_NFA_EDGE_CHARCLASS_NEG     5

#define MVM_NFA_EDGE_CHARLIST          6

#define MVM_NFA_EDGE_CHARLIST_NEG      7

#define MVM_NFA_EDGE_SUBRULE           8

#define MVM_NFA_EDGE_CODEPOINT_I       9

#define MVM_NFA_EDGE_CODEPOINT_I_NEG   10

#define MVM_NFA_EDGE_GENERIC_VAR       11

#define MVM_NFA_EDGE_CHARRANGE         12

#define MVM_NFA_EDGE_CHARRANGE_NEG     13

#define MVM_NFA_EDGE_CODEPOINT_LL      14

#define MVM_NFA_EDGE_CODEPOINT_I_LL    15

#define MVM_NFA_EDGE_CODEPOINT_M       16

#define MVM_NFA_EDGE_CODEPOINT_M_NEG   17

#define MVM_NFA_EDGE_CODEPOINT_M_LL    18

#define MVM_NFA_EDGE_CODEPOINT_IM      19

#define MVM_NFA_EDGE_CODEPOINT_IM_NEG  20

#define MVM_NFA_EDGE_CODEPOINT_IM_LL   21

#define MVM_NFA_EDGE_CHARRANGE_M       22

#define MVM_NFA_EDGE_CHARRANGE_M_NEG   23

/* A synthetic edge we use to let us more optimally handle nodes with a fanout

 * of many codepoints. We sort the edges of type CODEPOINT and CODEPOINT_LL to

 * the start of the state out edges list, and insert this node before, which

 * indicates how many CODEPOINT and CODEPOINT_LL edges there are. We can then

 * binary search them for the current codepoint, and skip over the rest. This

 * is especially useful in huge categories, such as infix, prefix, etc. */

#define MVM_NFA_EDGE_SYNTH_CP_COUNT    64

/* State entry. */

struct MVMNFAStateInfo {

    MVMint64 act;

    MVMint64 to;

    union {

        MVMGrapheme32  g;

        MVMint64       i;

        MVMString     *s;

        struct {

            MVMGrapheme32 uc;

            MVMGrapheme32 lc;

        } uclc;

    } arg;

};

/* Body of an NFA. */

struct MVMNFABody {

    MVMObject        *fates;

    MVMint64          num_states;

    MVMint64         *num_state_edges;

    MVMNFAStateInfo **states;

};

struct MVMNFA {

    MVMObject common;

    MVMNFABody body;

};

/* Function for REPR setup. */

const MVMREPROps * MVMNFA_initialize(MVMThreadContext *tc);

/* Other NFA related functions. */

MVMObject * MVM_nfa_from_statelist(MVMThreadContext *tc, MVMObject *states, MVMObject *nfa_type);

MVMObject * MVM_nfa_run_proto(MVMThreadContext *tc, MVMObject *nfa, MVMString *target, MVMint64 offset);

void MVM_nfa_run_alt(MVMThreadContext *tc, MVMObject *nfa, MVMString *target,

    MVMint64 offset, MVMObject *bstack, MVMObject *cstack, MVMObject *labels);