/*

  * 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;

     }

 }