Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
automaton::DFANode Class Reference

#include <automaton/dfa.h>

Public Member Functions

 DFANode ()=default
 
void add_transition (const DFANode *to, std::uint16_t c)
 
const DFANodeget_transition (std::uint16_t c) const
 
template<class F >
void for_transitions (F &&f, std::uint16_t c) const
 
template<class F >
void for_transitions (F &&f) const
 
bool is_accepting () const noexcept
 
void set_accepting (bool accepting) noexcept
 
bool is_erroring () const noexcept
 
void set_erroring (bool erroring) noexcept
 

Friends

std::ostream & operator<< (std::ostream &os, const DFANode &node)
 

Detailed Description

Definition at line 13 of file dfa.h.

Constructor & Destructor Documentation

◆ DFANode()

automaton::DFANode::DFANode ( )
default

Member Function Documentation

◆ add_transition()

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

Definition at line 10 of file dfa.cpp.

◆ for_transitions() [1/2]

template<class F >
void automaton::DFANode::for_transitions ( F &&  f) const
inline

Definition at line 27 of file dfa.h.

◆ for_transitions() [2/2]

template<class F >
void automaton::DFANode::for_transitions ( F &&  f,
std::uint16_t  c 
) const
inline

Definition at line 21 of file dfa.h.

◆ get_transition()

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

Definition at line 12 of file dfa.cpp.

◆ is_accepting()

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

Definition at line 32 of file dfa.h.

Referenced by dfa2matcher().

◆ is_erroring()

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

Definition at line 38 of file dfa.h.

Referenced by dfa2matcher().

◆ set_accepting()

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

Definition at line 33 of file dfa.h.

◆ set_erroring()

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

Definition at line 39 of file dfa.h.

Friends And Related Symbol Documentation

◆ operator<<

std::ostream & operator<< ( std::ostream &  os,
const DFANode node 
)
friend

Definition at line 20 of file dfa.cpp.


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