subprojects/store-query/src/main/java/tools/refinery/store/query/DnfUtils.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

package tools.refinery.store.query;

import java.util.Map;
import java.util.UUID;

public final class DnfUtils {
	private DnfUtils() {
		throw new IllegalStateException("This is a static utility class and should not be instantiated directly");
	}

	public static String generateUniqueName(String originalName) {
		UUID uuid = UUID.randomUUID();
		String uniqueString = "_" + uuid.toString().replace('-', '_');
		if (originalName == null) {
			return uniqueString;
		} else {
			return originalName + uniqueString;
		}
	}

	public static Variable maybeSubstitute(Variable variable, Map<Variable, Variable> substitution) {
		return substitution.getOrDefault(variable, variable);
	}
}