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 
  createSourceFromCreator(String creatorName,
                          Iterable<TptpParserOutput.InfoItem> usefulInfo)
  {
    return 
    new Source.Creator(sharedCopyOf(creatorName), usefulInfo);
  }
public TptpParserOutput . Source createSourceFromCreator ( String creatorName , Iterable < TptpParserOutput . InfoItem > usefulInfo ) { return new Source . Creator ( sharedCopyOf ( creatorName ) , usefulInfo ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .