1.1 --- a/src/java/isac/util/formulae/Assumption.java	Thu Feb 17 16:01:47 2005 +0100
     1.2 +++ b/src/java/isac/util/formulae/Assumption.java	Thu Feb 17 16:22:23 2005 +0100
     1.3 @@ -8,25 +8,33 @@
     1.4   */
     1.5  package isac.util.formulae;
     1.6  
     1.7 +import java.util.Vector;
     1.8 +
     1.9  import isac.util.interfaces.ICalcElement;
    1.10  
    1.11  /**
    1.12 - * The assumption generated by application of the tactic
    1.13 - * to the formula, both under the same CalcIterator
    1.14 + * The assumptions generated by application of the tactic to the formula, both
    1.15 + * under the same CalcIterator.
    1.16 + * 
    1.17 + * *ATTENTION*: still also used for
    1.18 + * {isac.interfaces.ICalcIterator#fetchApplicalbeTactics} as long as this does
    1.19 + * _not_ return references to _several_ Formula holding Assumptions
    1.20 + * 
    1.21   * @author Walther Neuper Sep 20, 2004, 4:18:31 PM
    1.22   * @version 1.0
    1.23 - **/
    1.24 + */
    1.25  public class Assumption implements ICalcElement {
    1.26  
    1.27 -	/**
    1.28 -	 * 
    1.29 -	 */
    1.30 +	Vector formulae_;
    1.31 +
    1.32  	public Assumption() {
    1.33  		super();
    1.34 -		// TODO Auto-generated constructor stub
    1.35 +		formulae_ = new Vector();
    1.36  	}
    1.37  
    1.38 -	/* (non-Javadoc)
    1.39 +	/*
    1.40 +	 * (non-Javadoc)
    1.41 +	 * 
    1.42  	 * @see isac.util.interfaces.ICalcElement#toSMLString()
    1.43  	 */
    1.44  	public String toSMLString() {
    1.45 @@ -34,7 +42,9 @@
    1.46  		return null;
    1.47  	}
    1.48  
    1.49 -	/* (non-Javadoc)
    1.50 +	/*
    1.51 +	 * (non-Javadoc)
    1.52 +	 * 
    1.53  	 * @see isac.util.interfaces.ICalcElement#getMathML()
    1.54  	 */
    1.55  	public String getMathML() {
    1.56 @@ -42,7 +52,9 @@
    1.57  		return null;
    1.58  	}
    1.59  
    1.60 -	/* (non-Javadoc)
    1.61 +	/*
    1.62 +	 * (non-Javadoc)
    1.63 +	 * 
    1.64  	 * @see isac.util.interfaces.ICalcElement#getType()
    1.65  	 */
    1.66  	public int getType() {
    1.67 @@ -50,7 +62,9 @@
    1.68  		return 0;
    1.69  	}
    1.70  
    1.71 -	/* (non-Javadoc)
    1.72 +	/*
    1.73 +	 * (non-Javadoc)
    1.74 +	 * 
    1.75  	 * @see isac.util.interfaces.ICalcElement#getVisibility()
    1.76  	 */
    1.77  	public int getVisibility() {
    1.78 @@ -58,7 +72,9 @@
    1.79  		return 0;
    1.80  	}
    1.81  
    1.82 -	/* (non-Javadoc)
    1.83 +	/*
    1.84 +	 * (non-Javadoc)
    1.85 +	 * 
    1.86  	 * @see isac.util.interfaces.ICalcElement#setVisibility(int)
    1.87  	 */
    1.88  	public void setVisibility(int visibility) {
    1.89 @@ -66,7 +82,9 @@
    1.90  
    1.91  	}
    1.92  
    1.93 -	/* (non-Javadoc)
    1.94 +	/*
    1.95 +	 * (non-Javadoc)
    1.96 +	 * 
    1.97  	 * @see isac.util.interfaces.ICalcElement#getViewStyle()
    1.98  	 */
    1.99  	public int getViewStyle() {
   1.100 @@ -74,7 +92,9 @@
   1.101  		return 0;
   1.102  	}
   1.103  
   1.104 -	/* (non-Javadoc)
   1.105 +	/*
   1.106 +	 * (non-Javadoc)
   1.107 +	 * 
   1.108  	 * @see isac.util.interfaces.ICalcElement#setViewStyle(int)
   1.109  	 */
   1.110  	public void setViewStyle(int view_style) {
   1.111 @@ -82,7 +102,9 @@
   1.112  
   1.113  	}
   1.114  
   1.115 -	/* (non-Javadoc)
   1.116 +	/*
   1.117 +	 * (non-Javadoc)
   1.118 +	 * 
   1.119  	 * @see isac.util.interfaces.ICalcElement#getRating()
   1.120  	 */
   1.121  	public int getRating() {
   1.122 @@ -90,7 +112,9 @@
   1.123  		return 0;
   1.124  	}
   1.125  
   1.126 -	/* (non-Javadoc)
   1.127 +	/*
   1.128 +	 * (non-Javadoc)
   1.129 +	 * 
   1.130  	 * @see isac.util.interfaces.ICalcElement#setRating(int)
   1.131  	 */
   1.132  	public void setRating(int rating) {
   1.133 @@ -98,4 +122,13 @@
   1.134  
   1.135  	}
   1.136  
   1.137 -}
   1.138 +	//also used in XMLParser @see {isac.util.parser.XMLParserDigest}
   1.139 +	public void setFormula(Formula asm) {
   1.140 +		formulae_.add(asm);
   1.141 +	}
   1.142 +
   1.143 +	public Vector getFormulae() {
   1.144 +		return formulae_;
   1.145 +	}
   1.146 +
   1.147 +}
   1.148 \ No newline at end of file