tptp_parser

Class SimpleTptpParserOutput.Source

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Source

All Implemented Interfaces:

TptpParserOutput.Source

Direct Known Subclasses:

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

Enclosing class:

SimpleTptpParserOutput

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.Source.Creator
static class	SimpleTptpParserOutput.Source.File
static class	SimpleTptpParserOutput.Source.Inference
static class	SimpleTptpParserOutput.Source.Internal
static class	SimpleTptpParserOutput.Source.Kind
static class	SimpleTptpParserOutput.Source.ListOfSources
static class	SimpleTptpParserOutput.Source.Name
static class	SimpleTptpParserOutput.Source.Theory

Field Summary

Fields

Modifier and Type	Field and Description
protected SimpleTptpParserOutput.Source.Kind	_kind

Constructor Summary

Constructors

Constructor and Description
Source()

Method Summary

Modifier and Type	Method and Description
SimpleTptpParserOutput.Source.Kind	getKind()
String	toString()
String	toString(int indent)

Methods inherited from class java.lang.Object

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

Field Detail

_kind

protected SimpleTptpParserOutput.Source.Kind _kind

Constructor Detail

Source

public Source()

Method Detail

getKind

public SimpleTptpParserOutput.Source.Kind getKind()

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(int indent)