1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/java/isac/util/tactics/RewriteSet.java	Wed Jun 15 18:31:02 2005 +0200
     1.3 @@ -0,0 +1,45 @@
     1.4 +/*
     1.5 + * Created on Oct 14, 2003
     1.6 + *
     1.7 + * To change the template for this generated file go to
     1.8 + * Window>Preferences>Java>Code Generation>Code and Comments
     1.9 + */
    1.10 +package isac.util.tactics;
    1.11 +
    1.12 +/**
    1.13 + * @author rgradisc
    1.14 + * 
    1.15 + * To change the template for this generated type comment go to
    1.16 + * Window>Preferences>Java>Code Generation>Code and Comments
    1.17 + */
    1.18 +public class RewriteSet extends Tactic {
    1.19 +    private String rule_set_;
    1.20 +
    1.21 +    public RewriteSet() {
    1.22 +    }
    1.23 +
    1.24 +    public RewriteSet(String name) {
    1.25 +        this.name_ = name;
    1.26 +    }
    1.27 +
    1.28 +    public RewriteSet(String name, String ruleSet) {
    1.29 +        this.name_ = name;
    1.30 +        this.rule_set_ = ruleSet;
    1.31 +    }
    1.32 +
    1.33 +    public String getName() {
    1.34 +        return name_;
    1.35 +    }
    1.36 +
    1.37 +    public void setRuleSet(String ruleSet) {
    1.38 +        this.rule_set_ = ruleSet;
    1.39 +    }
    1.40 +
    1.41 +    public String getRuleSet() {
    1.42 +        return this.rule_set_;
    1.43 +    }
    1.44 +
    1.45 +    public String toSMLString() {
    1.46 +        return name_ + " \"" + rule_set_ + "\"";
    1.47 +    }
    1.48 +}
    1.49 \ No newline at end of file