/*

 * Created on Jun 25, 2004

 */

package isac.util.tactics;

import java.io.Serializable;

/**

 * This is a helper class used by Rewrite Tactic and RewriteInst Tactic

 * 

 * @author richard

 */

public class Theorem implements Serializable {

    String id_, formula_;

    //Theorem consist of the ID, and

    //the formula (still as a string -- waiting for MathML)

    /**

     * Format the class to a string which can be used as SML-Input

     * 

     * @return

     */

    public String toSMLString() {

        return "(\"" + id_ + "\",\"\")"; //formula may be empty at input

    }

    public String getFormula() {

        return formula_;

    }

    public String getId() {

        return id_;

    }

    public void setFormula(String string) {

        formula_ = string;

    }

    public void setId(String string) {

        id_ = string;

    }

}