MimIR
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
automaton::DFANode Class Reference

#include <automaton/dfa.h>

Classes

struct  Lt

Public Member Functions

 DFANode (int id)
constexpr int id () const noexcept
void add_transition (const DFANode *to, std::uint16_t c)
const DFANode * get_transition (std::uint16_t c) const
void for_transitions (std::invocable< const DFANode * > auto f, std::uint16_t c) const
void for_transitions (std::invocable< std::uint16_t, const DFANode * > auto f) const
bool is_accepting () const noexcept
void set_accepting (bool accepting) noexcept
bool is_erroring () const noexcept
void set_erroring (bool erroring) noexcept
void print (std::ostream &os) const

Detailed Description

Definition at line 14 of file dfa.h.

Constructor & Destructor Documentation

◆ DFANode()

automaton::DFANode::DFANode ( int id)
inline

Definition at line 20 of file dfa.h.

References id().

Referenced by add_transition(), get_transition(), and automaton::DFANode::Lt::operator()().

Member Function Documentation

◆ add_transition()

void automaton::DFANode::add_transition ( const DFANode * to,
std::uint16_t c )

Definition at line 9 of file dfa.cpp.

References DFANode().

◆ for_transitions() [1/2]

void automaton::DFANode::for_transitions ( std::invocable< const DFANode * > auto f,
std::uint16_t c ) const
inline

Definition at line 27 of file dfa.h.

◆ for_transitions() [2/2]

void automaton::DFANode::for_transitions ( std::invocable< std::uint16_t, const DFANode * > auto f) const
inline

Definition at line 32 of file dfa.h.

◆ get_transition()

const DFANode * automaton::DFANode::get_transition ( std::uint16_t c) const

Definition at line 11 of file dfa.cpp.

References DFANode().

◆ id()

int automaton::DFANode::id ( ) const
inlineconstexprnoexcept

Definition at line 23 of file dfa.h.

Referenced by DFANode().

◆ is_accepting()

bool automaton::DFANode::is_accepting ( ) const
inlinenoexcept

Definition at line 38 of file dfa.h.

◆ is_erroring()

bool automaton::DFANode::is_erroring ( ) const
inlinenoexcept

Definition at line 44 of file dfa.h.

◆ print()

void automaton::DFANode::print ( std::ostream & os) const

Definition at line 19 of file dfa.cpp.

References automaton::print_node().

◆ set_accepting()

void automaton::DFANode::set_accepting ( bool accepting)
inlinenoexcept

Definition at line 39 of file dfa.h.

◆ set_erroring()

void automaton::DFANode::set_erroring ( bool erroring)
inlinenoexcept

Definition at line 45 of file dfa.h.


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