final public String toString()
 {
  if(exact==true) return prefix;
  String result;
  if(prefix==null) result="*";
   else
    result=prefix+"*";
  /* pridat elementy */
  if(elements!=null)
   for(int i=0;i<elements.length;i++)
     result+=elements[i]+"*";

  /* suffix */
  if(suffix!=null) result+=suffix;

  return result;
 }