All classes related to Symbolic Transition Systems (STS) can be found in this package.