CNFLiteralComparator.java

package splar.core.constraints;

import java.util.Comparator;

public class CNFLiteralComparator implements Comparator {
	public int compare(Object obj1, Object obj2) {
		CNFLiteral bobj1 = (CNFLiteral)obj1;
		CNFLiteral bobj2 = (CNFLiteral)obj2;
		return bobj1.getVariable().getID().compareTo(bobj2.getVariable().getID());
	}
}