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 
  TptpInput
  createIncludeDirective(String fileName,
                         Iterable<String> formulaSelection,
                         int lineNumber) {
    return 
    (TptpParserOutput.TptpInput)(new IncludeDirective(sharedCopyOf(fileName),
                                                      formulaSelection,
                                                      lineNumber));
  }
public TptpInput createIncludeDirective ( String fileName , Iterable < String > formulaSelection , int lineNumber ) { return ( TptpParserOutput . TptpInput ) ( new IncludeDirective ( sharedCopyOf ( fileName ) , formulaSelection , lineNumber ) ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .
// strings in formulaSelection don't get shared, // there seems to be no practical need for this