Esempio n. 1
0
 /**
  * Returns the name of the REIL function.
  *
  * @return The name of the REIL function.
  */
 public String getName() {
   return m_function.getName();
 }