package edu.neu.ccs.evergreen.model;

/**
 * Track statistics on usage.
 */
public class Stats {
	/**
	 * Unit propagate
	 */
	public static int unitPropagate;

	/**
	 * Decide
	 */
	public static int decide;

	/**
	 * SSR
	 */
	public static int semiSuperResolution;

	/**
	 * Bias count
	 */
	public static int biasCount;

	/**
	 * Learned literals
	 */
	public static int learnedLiterals;

	/**
	 * New variables
	 */
	public static int newVars;

	/**
	 * Format the statistics in a reasonable manner. 
	 * @return Formatted statistics
	 */
	public static String asString() {
		StringBuffer result = new StringBuffer();
		result.append("UP: ");
		result.append(unitPropagate);
		result.append("\n");
		result.append("D: ");
		result.append(decide);
		result.append("\n");
		result.append("SSR: ");
		result.append(semiSuperResolution);
		result.append("\n");
		result.append("bias count: ");
		result.append(biasCount);
		result.append("\n");
		result.append("learned literals: ");
		result.append(learnedLiterals);
		result.append("\n");
		result.append("new vars: ");
		result.append(newVars);
		result.append("\n");
		return result.toString();
	}
}