reglibcpp  2.0.0
A C++ implementation of models for regular languages
reg::dfa Member List

This is the complete list of members for reg::dfa, including all inherited members.

complement(dfa const &d)reg::dfastatic
delta(size_t qi, size_t si) constreg::dfa
delta(size_t qi, std::string const &symbol) constreg::dfa
delta(std::string const &q, std::string const &symbol) constreg::dfa
delta_(size_t qi, char32_t u32symbol) constreg::dfa
delta_(std::string const &q, char32_t u32symbol) constreg::dfa
deltaHat(size_t qi, std::string const &word) constreg::dfa
deltaHat(std::string const &q, std::string const &word) constreg::dfa
deltaHat_(size_t qi, std::u32string const &u32word) constreg::dfa
deltaHat_(std::string const &q, std::u32string const &u32word) constreg::dfa
dfa()reg::dfa
dfa(std::vector< char32_t > &&alphabet, std::vector< std::vector< size_t >> &&transitions, std::vector< std::string > &&labels, std::valarray< bool > &&acceptingStates)reg::dfa
dfa(fabuilder &b, bool force=false)reg::dfa
dfa(dfa const &d)reg::dfa
dfa(dfa &&d)reg::dfa
findShortestWord(dfa const &d)reg::dfafriend
findShortestWord_(dfa const &d)reg::dfafriend
getAlphabet() constreg::dfa
getAlphabet_() constreg::dfa
getInitialState() constreg::dfa
getStates() constreg::dfa
indistinguishableStates(std::vector< std::vector< size_t >> const &transitions, std::valarray< bool > const &accepting)reg::dfastatic
intersect(dfa const &d1, dfa const &d2)reg::dfastatic
isAccepting(size_t qi) constreg::dfa
isAccepting(std::string const &q) constreg::dfa
operator nfa const &() constreg::dfa
operator!=(dfa const &d) constreg::dfa
operator!=(nfa const &d) constreg::dfa
operator=(dfa const &d)reg::dfa
operator=(dfa &&d)reg::dfa
operator==(dfa const &d) constreg::dfa
operator==(nfa const &d) constreg::dfa
subtract(dfa const &d1, dfa const &d2)reg::dfastatic
unite(dfa const &d1, dfa const &d2)reg::dfastatic
~dfa() (defined in reg::dfa)reg::dfavirtual