package org.eclipse.viatra.solver.data;

interface TruthValue {
	public String getName();
}