tptp_parser

Class SimpleTptpParserOutput.Literal

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Literal

All Implemented Interfaces:

TptpParserOutput.Literal

Enclosing class:

SimpleTptpParserOutput

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

Constructor Summary

Constructors

Constructor and Description
Literal(boolean positive, TptpParserOutput.AtomicFormula atom)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
SimpleTptpParserOutput.Formula.Atomic	getAtom()
int	hashCode()
boolean	isPositive()
String	toString()
String	toString(int indent)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Literal

public Literal(boolean positive,
               TptpParserOutput.AtomicFormula atom)

Method Detail

isPositive

public boolean isPositive()

getAtom

public SimpleTptpParserOutput.Formula.Atomic getAtom()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

Parameters:

obj - must be convertible to Literal, can be null

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(int indent)