1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/java/isac/util/tactics/SubProblemTactic.java	Wed Jun 15 18:31:02 2005 +0200
     1.3 @@ -0,0 +1,52 @@
     1.4 +/*
     1.5 + * Created on Nov 13, 2003
     1.6 + */
     1.7 +package isac.util.tactics;
     1.8 +
     1.9 +import java.util.Iterator;
    1.10 +import java.util.Vector;
    1.11 +
    1.12 +/**
    1.13 + * @author rgradisc
    1.14 + */
    1.15 +public class SubProblemTactic extends Tactic {
    1.16 +
    1.17 +    private String theory_ID_;
    1.18 +
    1.19 +    private Vector problem_ID_ = new Vector();
    1.20 +
    1.21 +    public SubProblemTactic() {
    1.22 +    }
    1.23 +
    1.24 +    public void addProblemString(String string) {
    1.25 +        this.problem_ID_.add(string);
    1.26 +    }
    1.27 +
    1.28 +    public String toSMLString() {
    1.29 +        StringBuffer sb = new StringBuffer();
    1.30 +        sb.append(name_ + " (\"" + theory_ID_ + "\", [");
    1.31 +        Iterator it = problem_ID_.iterator();
    1.32 +        while (it.hasNext()) {
    1.33 +            sb.append("\"" + it.next() + "\",");
    1.34 +        }
    1.35 +        sb.deleteCharAt(sb.length() - 1); // remove last ","
    1.36 +        sb.append("])");
    1.37 +        return sb.toString();
    1.38 +    }
    1.39 +
    1.40 +    public Vector getProblemID() {
    1.41 +        return problem_ID_;
    1.42 +    }
    1.43 +
    1.44 +    public String getTheoryID() {
    1.45 +        return theory_ID_;
    1.46 +    }
    1.47 +
    1.48 +    public void setProblemID(Vector vector) {
    1.49 +        problem_ID_ = vector;
    1.50 +    }
    1.51 +
    1.52 +    public void setTheoryID(String string) {
    1.53 +        theory_ID_ = string;
    1.54 +    }
    1.55 +}
    1.56 \ No newline at end of file