Autolib.NFA.Minus
- complete :: (ToDoc [c], NFAC c Int) => [c] -> NFA c Int -> NFA c Int
- complement :: (NFAC c s, ToDoc [c], NFAC c (Set Int)) => [c] -> NFA c s -> NFA c Int
- complement_det :: (NFAC c Int, ToDoc [c], NFAC c (Set Int)) => [c] -> NFA c Int -> NFA c Int
- minus :: (NFAC c Int, NFAC c (Int, Int), NFAC c (Set Int), ToDoc [c]) => NFA c Int -> NFA c Int -> NFA c Int
- symdiff :: (NFAC c Int, NFAC c (Either Int Int), NFAC c (Int, Int), ToDoc [c], NFAC c (Set Int)) => NFA c Int -> NFA c Int -> NFA c Int
- minus_det :: (NFAC c (Int, Int), NFAC c Int, ToDoc [c], NFAC c (Set Int)) => NFA c Int -> NFA c Int -> NFA c Int
Documentation
complement :: (NFAC c s, ToDoc [c], NFAC c (Set Int)) => [c] -> NFA c s -> NFA c Int
geht immer (argument wird erst deterministisch gemacht)
complement_det :: (NFAC c Int, ToDoc [c], NFAC c (Set Int)) => [c] -> NFA c Int -> NFA c Int
vorsicht: geht nur, wenn argument bereits deterministisch ist
minus :: (NFAC c Int, NFAC c (Int, Int), NFAC c (Set Int), ToDoc [c]) => NFA c Int -> NFA c Int -> NFA c Int
difference