equal
deleted
inserted
replaced
|
1 /* |
|
2 * Created on Oct 14, 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 RewriteSet extends Tactic { |
|
16 private String rule_set_; |
|
17 |
|
18 public RewriteSet() { |
|
19 } |
|
20 |
|
21 public RewriteSet(String name) { |
|
22 this.name_ = name; |
|
23 } |
|
24 |
|
25 public RewriteSet(String name, String ruleSet) { |
|
26 this.name_ = name; |
|
27 this.rule_set_ = ruleSet; |
|
28 } |
|
29 |
|
30 public String getName() { |
|
31 return name_; |
|
32 } |
|
33 |
|
34 public void setRuleSet(String ruleSet) { |
|
35 this.rule_set_ = ruleSet; |
|
36 } |
|
37 |
|
38 public String getRuleSet() { |
|
39 return this.rule_set_; |
|
40 } |
|
41 |
|
42 public String toSMLString() { |
|
43 return name_ + " \"" + rule_set_ + "\""; |
|
44 } |
|
45 } |