/*

  * Created on Oct 9, 2003

  *

  * To change the template for this generated file go to

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

  */

 package isac.util.tactics;

 /**

  * @author rgradisc

  * 

  * To change the template for this generated type comment go to

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

  */

 public class SimpleTactic extends Tactic {

     private String argument_; // placeholder for MATH-ML

     public SimpleTactic() {

     }

     public SimpleTactic(String name) {

         this.name_ = name;

     }

     public SimpleTactic(String name, String argument) {

         this.name_ = name;

         this.argument_ = argument;

     }

     public void setArgument(String argument) {

         this.argument_ = argument;

     }

     public String getArgument() {

         return "";

     }

     public String toSMLString() {

         return name_ + " \"" + argument_ + "\"";

     }

 }