BranchConstraints.java

package edu.udel.cis.vsl.civl.util.IF;

import edu.udel.cis.vsl.civl.semantics.IF.Evaluator;

public class BranchConstraints {
	
	public static Evaluator evaluator;

}