SimpleTptpParserOutput.ParentInfo (sigma-component 2.10 API)

public static class SimpleTptpParserOutput.ParentInfo
extends Object
implements TptpParserOutput.ParentInfo

Constructors
Constructor and Description
`ParentInfo(TptpParserOutput.Source source, TptpParserOutput.GeneralTerm parentDetails)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`SimpleTptpParserOutput.GeneralTerm`	`getParentDetails()`
`SimpleTptpParserOutput.Source`	`getSource()`
`void`	`setSource(SimpleTptpParserOutput.Source newSource)`
`String`	`toString()`
`String`	`toString(int indent)`

public ParentInfo(TptpParserOutput.Source source,
                  TptpParserOutput.GeneralTerm parentDetails)

public SimpleTptpParserOutput.Source getSource()

public void setSource(SimpleTptpParserOutput.Source newSource)

public SimpleTptpParserOutput.GeneralTerm getParentDetails()

Class SimpleTptpParserOutput.ParentInfo