Parent module for data structures shared across multiple modules of LearnLib
This project has declared the following modules:
Name | Description |
---|---|
LearnLib :: Datastructures :: Discrimination Tree | Data- and utility classes for Discrimination Trees |
LearnLib :: Datastructures :: List | Data- and utility classes for Lists |
LearnLib :: Datastructures :: Observationtable | Data- and utility classes for Observation Tables |
LearnLib :: Datastructures :: PTA | Data- and utility classes for Prefix-Tree-Acceptors |