Commit 3724d735 authored by Vladimír Štill's avatar Vladimír Štill
Browse files

lib: Export IsEquivalentResult from reg

parent aa50acdc

lib/reg.py

+1 −1
Original line number Original line Diff line number Diff line 
from typing import Set

from typing import Set

from lib.common import Terminal, Nonterminal, Eps

from lib.common import Terminal, Nonterminal, Eps

from lib.grammars import RegGrammar, CFG

from lib.grammars import RegGrammar, CFG

from lib.dfa import DFA

from lib.dfa import DFA, IsEquivalentResult

from lib.nfa import NFA

from lib.nfa import NFA

from lib.regex import RegEx

from lib.regex import RegEx