/*

 * 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_ + "\"";

    }

}