Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

A

Algorithms Library Toolkit Core
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Container Registry
- Model registry
- Service Desk

Snippets Groups Projects

5fb4cba3

Commit 5fb4cba3 authored 11 years ago by Tomáš Pecka

Downloads
- Patches
- Plain Diff

aEpsilon: removes eps-transitions. TODO: implement atrim to get rid of unreachable states.

parent 56f088b3

No related branches found

No related tags found

Loading

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

aepsilon/.cproject 127 additions, 0 deletions

aepsilon/.cproject
aepsilon/.project 27 additions, 0 deletions

aepsilon/.project
aepsilon/src/EpsilonClosure.cpp 64 additions, 0 deletions

aepsilon/src/EpsilonClosure.cpp
aepsilon/src/EpsilonClosure.h 40 additions, 0 deletions

aepsilon/src/EpsilonClosure.h
aepsilon/src/EpsilonRemover.cpp 84 additions, 0 deletions

aepsilon/src/EpsilonRemover.cpp
aepsilon/src/EpsilonRemover.h 43 additions, 0 deletions

aepsilon/src/EpsilonRemover.h
aepsilon/src/aepsilon.fsm.cpp 67 additions, 0 deletions

aepsilon/src/aepsilon.fsm.cpp

with 452 additions and 0 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment