/*
 * Created on 24/10/2003, 18:53:58
 *
 */
package SATS;
import java.util.ArrayList;
import java.util.List;

import signedFormulas.SignedFormulaFactory;
import signedFormulas.SignedFormulaList;
import formulas.Formula;
import formulas.FormulaFactory;

/**
 * @author Adolfo Neto
 *
 */
public class SATSResult {

	FormulaFactory _ff;
	SignedFormulaFactory _sff;
	SignedFormulaList _formulas;

	public SATSResult() {
		_ff = new FormulaFactory();
		_sff = new SignedFormulaFactory();
		_formulas = new SignedFormulaList();
	}

	public void setSignedFormulaList(SignedFormulaList sfl) {
		_formulas = sfl;
	}
	
	public SignedFormulaList getFormulas() {
		return _formulas;
	}

	public void setFormulaFactory(FormulaFactory ff) {
		_ff = ff;
	}

	public FormulaFactory getFormulaFactory() {
		return _ff;
	}

	public void setSignedFormulaFactory(SignedFormulaFactory sff) {
		_sff = sff;
	}

	public SignedFormulaFactory getSignedFormulaFactory() {
		return _sff;
	}

	public String toString() {
		return "Formulas: "
			+ _formulas
			+ "\n"
			+ "FormulaFactory: "
			+ _ff
			+ "\n"
			+ "SignedFormulaFactory: "
			+ _sff
			+ "\n";

	}

}