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
  createEqualityAtom(TptpParserOutput.Term lhs, TptpParserOutput.Term rhs) {
    String predicate = new String("=");
    LinkedList<TptpParserOutput.Term> arguments = 
    new LinkedList<TptpParserOutput.Term>();
    arguments.add(lhs);
    arguments.add(rhs);
    return createPlainAtom(predicate,arguments);
  }
public TptpParserOutput . AtomicFormula createEqualityAtom ( TptpParserOutput . Term lhs , TptpParserOutput . Term rhs ) { String predicate = new String ( "=" ) ; LinkedList < TptpParserOutput . Term > arguments = new LinkedList < TptpParserOutput . Term > ( ) ; arguments . add ( lhs ) ; arguments . add ( rhs ) ; return createPlainAtom ( predicate , arguments ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .