tptp_parser

Class SimpleTptpParserOutput.Source.Inference

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Source

tptp_parser.SimpleTptpParserOutput.Source.Inference

All Implemented Interfaces:

TptpParserOutput.Source

Enclosing class:

SimpleTptpParserOutput.Source

public static class SimpleTptpParserOutput.Source.Inference
extends SimpleTptpParserOutput.Source

Nested Class Summary

Nested classes/interfaces inherited from class tptp_parser.SimpleTptpParserOutput.Source

SimpleTptpParserOutput.Source.Creator, SimpleTptpParserOutput.Source.File, SimpleTptpParserOutput.Source.Inference, SimpleTptpParserOutput.Source.Internal, SimpleTptpParserOutput.Source.Kind, SimpleTptpParserOutput.Source.ListOfSources, SimpleTptpParserOutput.Source.Name, SimpleTptpParserOutput.Source.Theory

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.Source

_kind

Constructor Summary

Constructors

Constructor and Description
Inference(String inferenceRule, Iterable<TptpParserOutput.InfoItem> usefulInfo, Iterable<TptpParserOutput.ParentInfo> parentInfoList)

Method Summary

Modifier and Type	Method and Description
String	getInferenceRule()
Iterable<SimpleTptpParserOutput.ParentInfo>	getParentInfoList()
Iterable<SimpleTptpParserOutput.InfoItem>	getUsefulInfo() May return null.
void	setInferenceRule(String newRule)
void	setParentInfoList(LinkedList<SimpleTptpParserOutput.ParentInfo> newParentInfoList)
String	toString()
String	toString(int indent)

Methods inherited from class tptp_parser.SimpleTptpParserOutput.Source

getKind

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Inference

public Inference(String inferenceRule,
                 Iterable<TptpParserOutput.InfoItem> usefulInfo,
                 Iterable<TptpParserOutput.ParentInfo> parentInfoList)

Method Detail

getInferenceRule

public String getInferenceRule()

setInferenceRule

public void setInferenceRule(String newRule)

getUsefulInfo

public Iterable<SimpleTptpParserOutput.InfoItem> getUsefulInfo()

May return null.

getParentInfoList

public Iterable<SimpleTptpParserOutput.ParentInfo> getParentInfoList()

setParentInfoList

public void setParentInfoList(LinkedList<SimpleTptpParserOutput.ParentInfo> newParentInfoList)

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.Source

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.Source