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.FofFormula 
  atomAsFormula(TptpParserOutput.AtomicFormula atom) {
    return (TptpParserOutput.FofFormula)((Formula.Atomic)atom);
  }
public TptpParserOutput . FofFormula atomAsFormula ( TptpParserOutput . AtomicFormula atom ) { return ( TptpParserOutput . FofFormula ) ( ( Formula . Atomic ) atom ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .