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.Source 
  createSourceFromInferenceRecord(String inferenceRule,
                                  Iterable<TptpParserOutput.InfoItem> usefulInfo,
                                  Iterable<TptpParserOutput.ParentInfo> parentInfoList)
  {
    return new Source.Inference(sharedCopyOf(inferenceRule),
                                usefulInfo,
                                parentInfoList);
  }
public TptpParserOutput . Source createSourceFromInferenceRecord ( String inferenceRule , Iterable < TptpParserOutput . InfoItem > usefulInfo , Iterable < TptpParserOutput . ParentInfo > parentInfoList ) { return new Source . Inference ( sharedCopyOf ( inferenceRule ) , usefulInfo , parentInfoList ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .