src-gu/mir-reasoner/src/common_classes/SimpleRelation.java
/** Returns a SimpleRelation object's reverse.
	 * @return The SimpleRelation object reversed. Ex.: "A#3 =o> B#4"  returns  "B#4 =o< A#3"	*/
Returns a SimpleRelation object's reverse.
@return The SimpleRelation object reversed.
Returns a SimpleRelation object ' s reverse . @return The SimpleRelation object reversed .
public SimpleRelation reverse(){
		char[] chars = pred.toCharArray();
		for (int i=0;  i < chars.length;  i++){
			if (chars[i] == '<')
				chars[i] = '>';
			else if (chars[i] == '>')
				chars[i] = '<';
		}
		return new SimpleRelation(obj, new String(chars), subj );
	}
public SimpleRelation reverse ( ) { char [ ] chars = pred . toCharArray ( ) ; for ( int i = 0 ; i < chars . length ; i ++ ) { if ( chars [ i ] == '<' ) chars [ i ] = '>' ; else if ( chars [ i ] == '>' ) chars [ i ] = '<' ; } return new SimpleRelation ( obj , new String ( chars ) , subj ) ; }
Returns a SimpleRelation object's reverse.
Returns a SimpleRelation object ' s reverse .
// reverse the direction-sensitive relation characters, if any // cannot use replace(); must be done simultaneously