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.ParentInfo 
  createParentInfo(TptpParserOutput.Source source,String parentDetails) 
  {
    return new ParentInfo(source,
                          parentDetails == null 
                          ? null : sharedCopyOf(parentDetails));
  }
public TptpParserOutput . ParentInfo createParentInfo ( TptpParserOutput . Source source , String parentDetails ) { return new ParentInfo ( source , parentDetails == null ? null : sharedCopyOf ( parentDetails ) ) ; }
Implements the corresponding spec in TptpParserOutput.
Implements the corresponding spec in TptpParserOutput .