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
  createNegationOf(TptpParserOutput.FofFormula formula) {
    Formula key = new Formula.Negation(formula);
    Formula res = _formulaTable.get(key);
    if (res == null) {
      _formulaTable.put(key,key);
      return key;
    }
    else
      return res;   
  }
public TptpParserOutput . FofFormula createNegationOf ( TptpParserOutput . FofFormula formula ) { Formula key = new Formula . Negation ( formula ) ; Formula res = _formulaTable . get ( key ) ; if ( res == null ) { _formulaTable . put ( key , key ) ; return key ; } else return res ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .