HashSet < Integer > function ( int arg0 ) { return stateToBlock . get ( arg0 ) ; }
get the block in which a given state is contained . concode_field_sep ArrayList<HashSet<Integer>> stateToBlock concode_elem_sep HashSet<HashSet<Integer>> blocks concode_elem_sep PriorityQueue<HashSet<Integer>> mayChange concode_elem_sep MutablePMC pmc concode_elem_sep HashSet<HashSet<Integer>> mayChangeHash concode_elem_sep HashSet<Integer> nextBlock concode_field_sep ArrayList<HashSet<Integer>> getAllBlocks concode_elem_sep int compare concode_elem_sep void markAllBlocksAsNew concode_elem_sep int hashCode concode_elem_sep boolean mayChange concode_elem_sep boolean equals concode_elem_sep HashSet<Integer> nextChangeableBlock concode_elem_sep void addBlocks