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.InfoItem 
  createInferenceRuleInfoItem(String inferenceRule,
                              String inferenceId,
                              Iterable<TptpParserOutput.GeneralTerm> attributes)
  {
    return 
    new InfoItem.InferenceRule(sharedCopyOf(inferenceRule),
                               sharedCopyOf(inferenceId),
                               attributes);
  }
public TptpParserOutput . InfoItem createInferenceRuleInfoItem ( String inferenceRule , String inferenceId , Iterable < TptpParserOutput . GeneralTerm > attributes ) { return new InfoItem . InferenceRule ( sharedCopyOf ( inferenceRule ) , sharedCopyOf ( inferenceId ) , attributes ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .