src/main/java/logic/is/power/tptp_parser/SimpleTptpParserOutput.java
/** Implements the corresponding spec in TptpParserOutput. */
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .
public 
  TptpParserOutput.InfoItem 
  createGeneralFunctionInfoItem(TptpParserOutput.GeneralTerm generalFunction)
  {
    return new InfoItem.GeneralFunction(generalFunction);
  }
public TptpParserOutput . InfoItem createGeneralFunctionInfoItem ( TptpParserOutput . GeneralTerm generalFunction ) { return new InfoItem . GeneralFunction ( generalFunction ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .