1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/java/isac/util/tactics/RewriteSetInst.java Wed Jun 15 18:31:02 2005 +0200
1.3 @@ -0,0 +1,77 @@
1.4 +/*
1.5 + * Created on Oct 10, 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 RewriteSetInst extends Tactic {
1.19 +
1.20 + String rule_set_, variable_, value_;
1.21 +
1.22 + public RewriteSetInst() {
1.23 + }
1.24 +
1.25 + public RewriteSetInst(String name) {
1.26 + this.name_ = name;
1.27 + }
1.28 +
1.29 + public String getName() {
1.30 + return name_;
1.31 + }
1.32 +
1.33 + public String toSMLString() {
1.34 + return name_ + " ([\"(" + variable_ + "," + value_ + ")\"], \""
1.35 + + rule_set_ + "\")";
1.36 + }
1.37 +
1.38 + /**
1.39 + * @return
1.40 + */
1.41 + public String getRuleSet() {
1.42 + return rule_set_;
1.43 + }
1.44 +
1.45 + /**
1.46 + * @return
1.47 + */
1.48 + public String getValue() {
1.49 + return value_;
1.50 + }
1.51 +
1.52 + /**
1.53 + * @return
1.54 + */
1.55 + public String getVariable() {
1.56 + return variable_;
1.57 + }
1.58 +
1.59 + /**
1.60 + * @param string
1.61 + */
1.62 + public void setRuleSet(String string) {
1.63 + rule_set_ = string;
1.64 + }
1.65 +
1.66 + /**
1.67 + * @param string
1.68 + */
1.69 + public void setValue(String string) {
1.70 + value_ = string;
1.71 + }
1.72 +
1.73 + /**
1.74 + * @param string
1.75 + */
1.76 + public void setVariable(String string) {
1.77 + variable_ = string;
1.78 + }
1.79 +
1.80 +}
1.81 \ No newline at end of file