Choice | RegExpr.RegExprOperations |
contains | RegExpr.RegExprOperations |
containsC | RegExpr.RegExprOperations |
containsRECheap | RegExpr.RegExprOperations |
convert | RegExpr.RegExprOperations |
convert2 | RegExpr.RegExprOperations |
deriv | RegExpr.RegExprOperations |
Empty | RegExpr.RegExprOperations |
Env | RegExpr.RegExprOperations |
EnvEq | RegExpr.RegExprOperations |
eqREC | RegExpr.RegExprOperations |
equality | RegExpr.RegExprOperations |
intersect | RegExpr.RegExprOperations |
intersectC | RegExpr.RegExprOperations |
intersectCFailed | RegExpr.RegExprOperations |
intersectREFAiled | RegExpr.RegExprOperations |
isEmpty | RegExpr.RegExprOperations |
isPhi | RegExpr.RegExprOperations |
L | RegExpr.RegExprOperations |
mentions | RegExpr.RegExprOperations |
partDeriv | RegExpr.RegExprOperations |
Phi | RegExpr.RegExprOperations |
RE | RegExpr.RegExprOperations |
resToRE | RegExpr.RegExprOperations |
Seq | RegExpr.RegExprOperations |
sigmaRE | RegExpr.RegExprOperations |
Star | RegExpr.RegExprOperations |
Var | RegExpr.RegExprOperations |
Word | RegExpr.RegExprOperations |