Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | code cleanup + fixed matching of empty sequence... | buraq | 2003-08-27 | 1 | -0/+2 |
| | | | | | code cleanup + fixed matching of empty sequences with empty patterns | ||||
* | refactoring: removed class FiniteAutom. | buraq | 2003-07-29 | 1 | -2/+2 |
| | | | | | | | | | different types, so many casts were needed. In fact, FiniteAutom is not used anywhere. now fixed. fields are migrated to subclasses DetWordAutom and NondetWordAutom, with more specific types | ||||
* | allocation of variables in binding | buraq | 2003-07-09 | 1 | -3/+3 |
| | |||||
* | matching | buraq | 2003-07-08 | 1 | -7/+7 |
| | |||||
* | *** empty log message *** | buraq | 2003-07-05 | 1 | -13/+12 |
| | |||||
* | hooking up pattern matcher with sequence matcher | buraq | 2003-07-04 | 1 | -0/+2 |
| | |||||
* | automata stuff for pattern matching | buraq | 2003-06-19 | 1 | -0/+642 |