src/main/java/logic/is/power/tptp_parser/SimpleTptpParserOutput.java
/** Reinitialises everything. Note that after a call to reset() 
  *  objects created by various method calls prior to that call 
  *  to reset(), are considered invalid and should not be used
  *  in any way.
  */
Reinitialises everything. Note that after a call to reset()
objects created by various method calls prior to that call
to reset(), are considered invalid and should not be used
in any way.
Reinitialises everything . Note that after a call to reset () objects created by various method calls prior to that call to reset () are considered invalid and should not be used in any way .
public void reset() {
    _stringTable.clear();
    _termTable.clear();
    _literalTable.clear();
    _formulaTable.clear();
  }
public void reset ( ) { _stringTable . clear ( ) ; _termTable . clear ( ) ; _literalTable . clear ( ) ; _formulaTable . clear ( ) ; }
Reinitialises everything.
Reinitialises everything .