1. samcas
2. samcas
3. SamState
4. addState method

SamState class

1. Constructors
2. SamState
3. Properties
4. firstState
5. hashCode
6. runtimeType
7. sf
8. ssMap
9. Methods
10. add
11. addState
12. noSuchMethod
13. takeStep
14. toString
15. Operators
16. operator ==

DefState addState(Object str) {
  return add(DefState(str));
}