/*

 * Created on Sep 11, 2003

 *

 * To change the template for this generated file go to

 * Window>Preferences>Java>Code Generation>Code and Comments

 */

package isac.util.tactics;

import isac.util.formulae.CalcElement;

import isac.util.formulae.CalcFormula;

/**

 * @author Alan Krempler (method stubs)

 *  

 */

public class Tactic extends CalcElement {

    protected String name_;

    public String getName() {

        return name_;

    }

    public void setName(String name) {

        this.name_ = name;

    }

    public String getDescription() {

        return "";

    }

    //FIXME.WN0504 put down in inheritance (valid only for some tacs)

    public String getTheoremName() {

        return "";

    }

    //FIXME.WN0504 put down in inheritance (valid only for some tacs)

    public String getTheoremDescription() {

        return "";

    }

    //FIXME.WN0504 put down in inheritance (valid only for some tacs)

    public CalcFormula getTheoremSymbolic() {

        CalcFormula dummy;

        dummy = new CalcFormula();

        return dummy;

    }

    //FIXME.WN0504 put down in inheritance (valid only for some tacs)

    public CalcFormula getTheoremInstantiated(CalcFormula formula) {

        CalcFormula dummy;

        dummy = new CalcFormula();

        return dummy;

    }

    //FIXME.WN0504 put down in inheritance (valid only for some tacs)

    // itself and selected by passing an integer

    public CalcFormula makeFillFormula(CalcFormula formula, String pattern) {

        CalcFormula dummy;

        dummy = new CalcFormula();

        return dummy;

    }

    /*

     * (non-Javadoc)

     * 

     * @see isac.util.CalcElement#getText()

     */

    public String toSMLString() {

        // TODO Auto-generated method stub

        return null;

    }

    /*

     * (non-Javadoc)

     * 

     * @see isac.util.CalcElement#getMathML()

     */

    public String getMathML() {

        // TODO Auto-generated method stub

        return null;

    }

    /*

     * (non-Javadoc)

     * 

     * @see isac.util.CalcElement#getType()

     */

    public int getType() {

        return CALCEL_TACTIC;

    }

}