Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Addded Definitions.PATTERN_WILDCARD | paltherr | 2003-10-13 | 1 | -2/+3 |
| | | | | | | | | | - Removed Names.WILDCARD - Added Names.PATTERN_WILDCARD - Added Names.IMPORT_WILDCARD - Replaced most uses of Names.PATTERN_WILDCARD by Definitions.PATTERN_WILDCARD - Removed TreeInfo.isWildcardPattern | ||||
* | refactoring: removed class FiniteAutom. | buraq | 2003-07-29 | 1 | -4/+4 |
| | | | | | | | | | 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 | ||||
* | completed migration. code is now operational | buraq | 2003-07-13 | 1 | -5/+6 |
| | |||||
* | pattern matching encore | buraq | 2003-07-04 | 1 | -0/+169 |