Provides the classes related to validating whether it is possible to transfer from one state to another.