1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/java/isac/util/tactics/Tactic.java	Wed Jun 15 18:31:02 2005 +0200
     1.3 @@ -0,0 +1,93 @@
     1.4 +/*
     1.5 + * Created on Sep 11, 2003
     1.6 + *
     1.7 + * To change the template for this generated file go to
     1.8 + * Window>Preferences>Java>Code Generation>Code and Comments
     1.9 + */
    1.10 +package isac.util.tactics;
    1.11 +
    1.12 +import isac.util.formulae.CalcElement;
    1.13 +import isac.util.formulae.CalcFormula;
    1.14 +
    1.15 +/**
    1.16 + * @author Alan Krempler (method stubs)
    1.17 + *  
    1.18 + */
    1.19 +public class Tactic extends CalcElement {
    1.20 +
    1.21 +    protected String name_;
    1.22 +
    1.23 +    public String getName() {
    1.24 +        return name_;
    1.25 +    }
    1.26 +
    1.27 +    public void setName(String name) {
    1.28 +        this.name_ = name;
    1.29 +    }
    1.30 +
    1.31 +    public String getDescription() {
    1.32 +        return "";
    1.33 +    }
    1.34 +
    1.35 +    //FIXME.WN0504 put down in inheritance (valid only for some tacs)
    1.36 +    public String getTheoremName() {
    1.37 +        return "";
    1.38 +    }
    1.39 +
    1.40 +    //FIXME.WN0504 put down in inheritance (valid only for some tacs)
    1.41 +    public String getTheoremDescription() {
    1.42 +        return "";
    1.43 +    }
    1.44 +
    1.45 +    //FIXME.WN0504 put down in inheritance (valid only for some tacs)
    1.46 +    public CalcFormula getTheoremSymbolic() {
    1.47 +        CalcFormula dummy;
    1.48 +        dummy = new CalcFormula();
    1.49 +        return dummy;
    1.50 +    }
    1.51 +
    1.52 +    //FIXME.WN0504 put down in inheritance (valid only for some tacs)
    1.53 +    public CalcFormula getTheoremInstantiated(CalcFormula formula) {
    1.54 +        CalcFormula dummy;
    1.55 +        dummy = new CalcFormula();
    1.56 +        return dummy;
    1.57 +    }
    1.58 +
    1.59 +    //FIXME.WN0504 put down in inheritance (valid only for some tacs)
    1.60 +    // itself and selected by passing an integer
    1.61 +    public CalcFormula makeFillFormula(CalcFormula formula, String pattern) {
    1.62 +        CalcFormula dummy;
    1.63 +        dummy = new CalcFormula();
    1.64 +        return dummy;
    1.65 +    }
    1.66 +
    1.67 +    /*
    1.68 +     * (non-Javadoc)
    1.69 +     * 
    1.70 +     * @see isac.util.CalcElement#getText()
    1.71 +     */
    1.72 +    public String toSMLString() {
    1.73 +        // TODO Auto-generated method stub
    1.74 +        return null;
    1.75 +    }
    1.76 +
    1.77 +    /*
    1.78 +     * (non-Javadoc)
    1.79 +     * 
    1.80 +     * @see isac.util.CalcElement#getMathML()
    1.81 +     */
    1.82 +    public String getMathML() {
    1.83 +        // TODO Auto-generated method stub
    1.84 +        return null;
    1.85 +    }
    1.86 +
    1.87 +    /*
    1.88 +     * (non-Javadoc)
    1.89 +     * 
    1.90 +     * @see isac.util.CalcElement#getType()
    1.91 +     */
    1.92 +    public int getType() {
    1.93 +        return CALCEL_TACTIC;
    1.94 +    }
    1.95 +
    1.96 +}
    1.97 \ No newline at end of file