/*

 * Created on Nov 13, 2003

 */

package isac.util.tactics;

import java.util.Iterator;

import java.util.Vector;

/**

 * @author rgradisc

 */

public class SubProblemTactic extends Tactic {

    private String theory_ID_;

    private Vector problem_ID_ = new Vector();

    public SubProblemTactic() {

    }

    public void addProblemString(String string) {

        this.problem_ID_.add(string);

    }

    public String toSMLString() {

        StringBuffer sb = new StringBuffer();

        sb.append(name_ + " (\"" + theory_ID_ + "\", [");

        Iterator it = problem_ID_.iterator();

        while (it.hasNext()) {

            sb.append("\"" + it.next() + "\",");

        }

        sb.deleteCharAt(sb.length() - 1); // remove last ","

        sb.append("])");

        return sb.toString();

    }

    public Vector getProblemID() {

        return problem_ID_;

    }

    public String getTheoryID() {

        return theory_ID_;

    }

    public void setProblemID(Vector vector) {

        problem_ID_ = vector;

    }

    public void setTheoryID(String string) {

        theory_ID_ = string;

    }

}