equal
deleted
inserted
replaced
|
1 /* |
|
2 * Created on Nov 13, 2003 |
|
3 */ |
|
4 package isac.util.tactics; |
|
5 |
|
6 import java.util.Iterator; |
|
7 import java.util.Vector; |
|
8 |
|
9 /** |
|
10 * @author rgradisc |
|
11 */ |
|
12 public class SubProblemTactic extends Tactic { |
|
13 |
|
14 private String theory_ID_; |
|
15 |
|
16 private Vector problem_ID_ = new Vector(); |
|
17 |
|
18 public SubProblemTactic() { |
|
19 } |
|
20 |
|
21 public void addProblemString(String string) { |
|
22 this.problem_ID_.add(string); |
|
23 } |
|
24 |
|
25 public String toSMLString() { |
|
26 StringBuffer sb = new StringBuffer(); |
|
27 sb.append(name_ + " (\"" + theory_ID_ + "\", ["); |
|
28 Iterator it = problem_ID_.iterator(); |
|
29 while (it.hasNext()) { |
|
30 sb.append("\"" + it.next() + "\","); |
|
31 } |
|
32 sb.deleteCharAt(sb.length() - 1); // remove last "," |
|
33 sb.append("])"); |
|
34 return sb.toString(); |
|
35 } |
|
36 |
|
37 public Vector getProblemID() { |
|
38 return problem_ID_; |
|
39 } |
|
40 |
|
41 public String getTheoryID() { |
|
42 return theory_ID_; |
|
43 } |
|
44 |
|
45 public void setProblemID(Vector vector) { |
|
46 problem_ID_ = vector; |
|
47 } |
|
48 |
|
49 public void setTheoryID(String string) { |
|
50 theory_ID_ = string; |
|
51 } |
|
52 } |