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.GeneralTerm
  createGeneralColon(TptpParserOutput.GeneralTerm left,
                     TptpParserOutput.GeneralTerm right)
  {
    return new GeneralTerm(left, right);
  }
public TptpParserOutput . GeneralTerm createGeneralColon ( TptpParserOutput . GeneralTerm left , TptpParserOutput . GeneralTerm right ) { return new GeneralTerm ( left , right ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .