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.Source createSourceFromFile(String fileName,
                                               String fileInfo) {
    return 
    new Source.File(sharedCopyOf(fileName),
                    fileInfo != null ? sharedCopyOf(fileInfo) : null);
  }
public TptpParserOutput . Source createSourceFromFile ( String fileName , String fileInfo ) { return new Source . File ( sharedCopyOf ( fileName ) , fileInfo != null ? sharedCopyOf ( fileInfo ) : null ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .