/**
         * Test if all goals were reached.
         * TODO: This goal can be null due to problems with initial state (probably unreachable goal/missing initial state variable)
         * @return <code>true</code> if all goals are reached, <code>false</code> otherwise.
         */
public boolean reachedAllGoals ( ) {
		for ( EarliestLayerSVA goal : this.g ) {
			if ( goal == null || goal.earliestLayer == -1 ) {
				return false;
			}
		}
		return true;
	}
public boolean reachedAllGoals ( ) {
for ( EarliestLayerSVA goal : this.g ) {
if ( goal == null || goal.earliestLayer == -1 ) {
return false;
}
}
return true;
}
public boolean reachedAllGoals ( ) {
for ( EarliestLayerSVA goal : this.g ) {
if ( goal == null || goal.earliestLayer == -1 ) {
return false;
}
}
return true;
}
public boolean reachedAllGoals ( ) {
for ( EarliestLayerSVA goal : this.g ) {
if ( goal == null || goal.earliestLayer == -1 ) {
return false;
}
}
return true;
}