added helper method to print disjunction vector of worlds
finished implementing hashmap; changed automaton to use hashmap for edges