1.1 --- a/src/java/isac/util/formulae/Assumptions.java	Wed Feb 23 14:18:59 2005 +0100
     1.2 +++ b/src/java/isac/util/formulae/Assumptions.java	Wed Feb 23 14:18:59 2005 +0100
     1.3 @@ -34,12 +34,16 @@
     1.4  
     1.5  	/**
     1.6  	 * @see isac.util.interfaces.ICalcElement#toSMLString()
     1.7 -	 * ATTENTION: does NOT make sense for the Vector formulae_
     1.8  	 */
     1.9 -	public String toSMLString() {
    1.10 -		return null;
    1.11 +public String toSMLString() {
    1.12 +		String s = "";
    1.13 +		if (!formulae_.isEmpty()) {
    1.14 +			for (int i=0; i<formulae_.size()-1; i++) 
    1.15 +				s = ((Formula)formulae_.elementAt(i)).toSMLString() + " /\\ ";
    1.16 +			s = s + ((Formula)formulae_.lastElement()).toSMLString();
    1.17 +		}
    1.18 +		return s;
    1.19  	}
    1.20 -
    1.21  	/*
    1.22  	 * (non-Javadoc)
    1.23  	 * 

     2.1 --- a/src/java/isac/util/formulae/Position.java	Wed Feb 23 14:18:59 2005 +0100
     2.2 +++ b/src/java/isac/util/formulae/Position.java	Wed Feb 23 14:18:59 2005 +0100
     2.3 @@ -41,6 +41,10 @@
     2.4  		kind = string;
     2.5  	}
     2.6  
     2.7 +	public String getKind() {
     2.8 +		return kind;
     2.9 +	}
    2.10 +
    2.11  	public Vector getIntList() {
    2.12  		return intList;
    2.13  	}