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.GeneralTerm 
  createGeneralFunction(String function,
                        Iterable<TptpParserOutput.GeneralTerm> arguments)
  {
    return new GeneralTerm(sharedCopyOf(function),arguments);
  }
public TptpParserOutput . GeneralTerm createGeneralFunction ( String function , Iterable < TptpParserOutput . GeneralTerm > arguments ) { return new GeneralTerm ( sharedCopyOf ( function ) , arguments ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .