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.CnfFormula 
  createClause(Iterable<TptpParserOutput.Literal> literals) {
    return (TptpParserOutput.CnfFormula)(new Clause(literals));
  }
public TptpParserOutput . CnfFormula createClause ( Iterable < TptpParserOutput . Literal > literals ) { return ( TptpParserOutput . CnfFormula ) ( new Clause ( literals ) ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .