path: root/model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java

package org.eclipse.viatra.solver.data;

public class NamedTruthValue implements TruthValue {
	private final String name;
	public NamedTruthValue(String name) {
		this.name = name;
	}
	@Override
	public String getName() {
		return this.name;
	}

}