Provides layout algorithms with which an automaton's layout can be changed.