tptp_parser

Class SimpleTptpParserOutput.InfoItem.InferenceRule

java.lang.Object

tptp_parser.SimpleTptpParserOutput.InfoItem

tptp_parser.SimpleTptpParserOutput.InfoItem.InferenceRule

All Implemented Interfaces:

TptpParserOutput.InfoItem

Enclosing class:

SimpleTptpParserOutput.InfoItem

public static class SimpleTptpParserOutput.InfoItem.InferenceRule
extends SimpleTptpParserOutput.InfoItem

Nested Class Summary

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

SimpleTptpParserOutput.InfoItem.AssumptionRecord, SimpleTptpParserOutput.InfoItem.Description, SimpleTptpParserOutput.InfoItem.GeneralFunction, SimpleTptpParserOutput.InfoItem.InferenceRule, SimpleTptpParserOutput.InfoItem.InferenceStatus, SimpleTptpParserOutput.InfoItem.IQuote, SimpleTptpParserOutput.InfoItem.Kind, SimpleTptpParserOutput.InfoItem.Refutation

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.InfoItem

_kind

Constructor Summary

Constructors

Constructor and Description
InferenceRule(String inferenceRule, String inferenceId, Iterable<TptpParserOutput.GeneralTerm> attributes)

Method Summary

Modifier and Type	Method and Description
Iterable<SimpleTptpParserOutput.GeneralTerm>	getAttributes()
String	getIinferenceRule()
String	getInferenceId()
String	toString()
String	toString(int indent)

Methods inherited from class tptp_parser.SimpleTptpParserOutput.InfoItem

getKind

Methods inherited from class java.lang.Object

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

Constructor Detail

InferenceRule

public InferenceRule(String inferenceRule,
                     String inferenceId,
                     Iterable<TptpParserOutput.GeneralTerm> attributes)

Method Detail

getIinferenceRule

public String getIinferenceRule()

getInferenceId

public String getInferenceId()

getAttributes

public Iterable<SimpleTptpParserOutput.GeneralTerm> getAttributes()

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.InfoItem

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.InfoItem