Moved available and successors functions to the transition classes. The available method for actions, given a state, is still on the Actions class. It may or may not make sense to move it.