equal
deleted
inserted
replaced
|
1 /* |
|
2 * Created on Oct 9, 2003 |
|
3 * |
|
4 * To change the template for this generated file go to |
|
5 * Window>Preferences>Java>Code Generation>Code and Comments |
|
6 */ |
|
7 package isac.util.tactics; |
|
8 |
|
9 /** |
|
10 * @author rgradisc |
|
11 * |
|
12 * To change the template for this generated type comment go to |
|
13 * Window>Preferences>Java>Code Generation>Code and Comments |
|
14 */ |
|
15 public class SimpleTactic extends Tactic { |
|
16 |
|
17 private String argument_; // placeholder for MATH-ML |
|
18 |
|
19 public SimpleTactic() { |
|
20 } |
|
21 |
|
22 public SimpleTactic(String name) { |
|
23 this.name_ = name; |
|
24 } |
|
25 |
|
26 public SimpleTactic(String name, String argument) { |
|
27 this.name_ = name; |
|
28 this.argument_ = argument; |
|
29 } |
|
30 |
|
31 public void setArgument(String argument) { |
|
32 this.argument_ = argument; |
|
33 } |
|
34 |
|
35 public String getArgument() { |
|
36 return ""; |
|
37 } |
|
38 |
|
39 public String toSMLString() { |
|
40 return name_ + " \"" + argument_ + "\""; |
|
41 } |
|
42 } |