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 
  createInternalSource(TptpParserOutput.IntroType introType,
                       Iterable<TptpParserOutput.InfoItem> introInfo) {
    return new Source.Internal(introType,introInfo);
  }
public TptpParserOutput . Source createInternalSource ( TptpParserOutput . IntroType introType , Iterable < TptpParserOutput . InfoItem > introInfo ) { return new Source . Internal ( introType , introInfo ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .