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.AtomicFormula
  createPlainAtom(String predicate,
                  Iterable<TptpParserOutput.Term> arguments) 
  {
    assert arguments == null || arguments.iterator().hasNext();
    Formula key = 
    new Formula.Atomic(sharedCopyOf(predicate),arguments);
    Formula res = _formulaTable.get(key);
    if (res == null) {
      _formulaTable.put(key,key);
      return (TptpParserOutput.AtomicFormula)key;
    }
    else
      return (TptpParserOutput.AtomicFormula)res;   
  }
public TptpParserOutput . AtomicFormula createPlainAtom ( String predicate , Iterable < TptpParserOutput . Term > arguments ) { assert arguments == null || arguments . iterator ( ) . hasNext ( ) ; Formula key = new Formula . Atomic ( sharedCopyOf ( predicate ) , arguments ) ; Formula res = _formulaTable . get ( key ) ; if ( res == null ) { _formulaTable . put ( key , key ) ; return ( TptpParserOutput . AtomicFormula ) key ; } else return ( TptpParserOutput . AtomicFormula ) res ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .