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.Term 
  createPlainTerm(String function,
                  Iterable<TptpParserOutput.Term> arguments) 
  {
    Symbol sym = new Symbol(sharedCopyOf(function),false);
    Term key = new Term(sym,arguments);
    Term res = _termTable.get(key);
    if (res == null) {
      _termTable.put(key,key);
      return key;
    }
    else
      return res;
  }
public TptpParserOutput . Term createPlainTerm ( String function , Iterable < TptpParserOutput . Term > arguments ) { Symbol sym = new Symbol ( sharedCopyOf ( function ) , false ) ; Term key = new Term ( sym , arguments ) ; Term res = _termTable . get ( key ) ; if ( res == null ) { _termTable . put ( key , key ) ; return key ; } else return res ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .