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.Literal 
  createLiteral(boolean positive,TptpParserOutput.AtomicFormula atom) {
    Literal key = new Literal(positive,atom);
    Literal res = _literalTable.get(key);
    if (res == null) {
      _literalTable.put(key,key);
      return key;
    }
    else
      return res;   
  }
public TptpParserOutput . Literal createLiteral ( boolean positive , TptpParserOutput . AtomicFormula atom ) { Literal key = new Literal ( positive , atom ) ; Literal res = _literalTable . get ( key ) ; if ( res == null ) { _literalTable . put ( key , key ) ; return key ; } else return res ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .