src-gu/mir-reasoner/src/common_classes/SpecialTokenizer.java
/** Returns true if the given string represents a relation token,
	 *  otherwise returns false.
	 * @param value The string being tested
	 * @return true if value represents a relation token, else false
	 */
Returns true if the given string represents a relation token,
otherwise returns false.
@param value The string being tested
@return true if value represents a relation token, else false
Returns true if the given string represents a relation token otherwise returns false . @param value The string being tested @return true if value represents a relation token else false
private static boolean isRelationToken(String value){
		if (value.length() < 3)
			return false;
		if ( value.toLowerCase().equals("isa") )
			return true;
		char[] valueArray = value.toCharArray();
		if (valueArray[0] != '{')
			return false;
		else if (valueArray[valueArray.length - 1] != '}')
			return false;
		String validRelationChars = "<>=!olr";
		for (int i=1;  i < valueArray.length-1;  i++){
			if ( validRelationChars.contains("" + valueArray[i]) ){
				validRelationChars = validRelationChars.replace("" + valueArray[i], "");
				i++;
				if (valueArray[i] == '}')
					return true;
				else if (valueArray[i] != ',')
					return false;
			}
			else
				return false;
		}
		return true;
	}
private static boolean isRelationToken ( String value ) { if ( value . length ( ) < 3 ) return false ; if ( value . toLowerCase ( ) . equals ( "isa" ) ) return true ; char [ ] valueArray = value . toCharArray ( ) ; if ( valueArray [ 0 ] != '{' ) return false ; else if ( valueArray [ valueArray . length - 1 ] != '}' ) return false ; String validRelationChars = "<>=!olr" ; for ( int i = 1 ; i < valueArray . length - 1 ; i ++ ) { if ( validRelationChars . contains ( "" + valueArray [ i ] ) ) { validRelationChars = validRelationChars . replace ( "" + valueArray [ i ] , "" ) ; i ++ ; if ( valueArray [ i ] == '}' ) return true ; else if ( valueArray [ i ] != ',' ) return false ; } else return false ; } return true ; }
Returns true if the given string represents a relation token,
  otherwise returns false.
Returns true if the given string represents a relation token otherwise returns false .
// a relation token must be three or more characters // special case of isA // a relation token (which is not isA) must begin and end with brackets // relation tokens must have valid characters, // at most one of each relation, // and commas separating the relations