store/src/main/java/org/eclipse/viatra/solver/data/map/internal/HashClash.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package org.eclipse.viatra.solver.data.map.internal;

enum HashClash {
	/**
	 * Not stuck.
	 */
	NONE,
	
	/**
	 * Clashed, next we should return the key of cursor 1.
	 */
	STUCK_CURSOR_1,
	
	/**
	 * Clashed, next we should return the key of cursor 2.
	 */
	STUCK_CURSOR_2
}