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.TptpInput
  createFofAnnotated(String name,
                     TptpParserOutput.FormulaRole role,
                     TptpParserOutput.FofFormula formula,
                     TptpParserOutput.Annotations annotations,
                     int lineNumber)
  {
    return 
    (TptpParserOutput.TptpInput)(new AnnotatedFormula(sharedCopyOf(name),
                                                      role,
                                                      formula,
                                                      annotations,
                                                      lineNumber));
  }
public TptpParserOutput . TptpInput createFofAnnotated ( String name , TptpParserOutput . FormulaRole role , TptpParserOutput . FofFormula formula , TptpParserOutput . Annotations annotations , int lineNumber ) { return ( TptpParserOutput . TptpInput ) ( new AnnotatedFormula ( sharedCopyOf ( name ) , role , formula , annotations , lineNumber ) ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .