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