1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/java/isac/util/tactics/Theorem.java	Wed Jun 15 18:31:02 2005 +0200
     1.3 @@ -0,0 +1,45 @@
     1.4 +/*
     1.5 + * Created on Jun 25, 2004
     1.6 + */
     1.7 +package isac.util.tactics;
     1.8 +
     1.9 +import java.io.Serializable;
    1.10 +
    1.11 +/**
    1.12 + * This is a helper class used by Rewrite Tactic and RewriteInst Tactic
    1.13 + * 
    1.14 + * @author richard
    1.15 + */
    1.16 +
    1.17 +public class Theorem implements Serializable {
    1.18 +    String id_, formula_;
    1.19 +
    1.20 +    //Theorem consist of the ID, and
    1.21 +    //the formula (still as a string -- waiting for MathML)
    1.22 +
    1.23 +    /**
    1.24 +     * Format the class to a string which can be used as SML-Input
    1.25 +     * 
    1.26 +     * @return
    1.27 +     */
    1.28 +    public String toSMLString() {
    1.29 +        return "(\"" + id_ + "\",\"\")"; //formula may be empty at input
    1.30 +    }
    1.31 +
    1.32 +    public String getFormula() {
    1.33 +        return formula_;
    1.34 +    }
    1.35 +
    1.36 +    public String getId() {
    1.37 +        return id_;
    1.38 +    }
    1.39 +
    1.40 +    public void setFormula(String string) {
    1.41 +        formula_ = string;
    1.42 +    }
    1.43 +
    1.44 +    public void setId(String string) {
    1.45 +        id_ = string;
    1.46 +    }
    1.47 +
    1.48 +}
    1.49 \ No newline at end of file