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 
  createBinaryFormula(TptpParserOutput.FofFormula lhs,
                      TptpParserOutput.BinaryConnective connective,
                      TptpParserOutput.FofFormula rhs) 
  {
    Formula key = new Formula.Binary(lhs,connective,rhs);
    Formula res = _formulaTable.get(key);
    if (res == null) {
      _formulaTable.put(key,key);
      return key;
    }
    else
      return res;   
  }
public TptpParserOutput . FofFormula createBinaryFormula ( TptpParserOutput . FofFormula lhs , TptpParserOutput . BinaryConnective connective , TptpParserOutput . FofFormula rhs ) { Formula key = new Formula . Binary ( lhs , connective , rhs ) ; 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 .