model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/SymbolComparator.java


1
2
3
4
5
6
7
8
9
10

package org.eclipse.viatra.solver.data.model.symbols;

import java.util.Comparator;

public class SymbolComparator implements Comparator<Symbol>{
	@Override
	public int compare(Symbol o1, Symbol o2) {
		return o1.getName().compareTo(o2.getName());
	}
}