tptp_parser

Class SimpleTptpParserOutput.Formula.Atomic

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Formula

tptp_parser.SimpleTptpParserOutput.Formula.Atomic

All Implemented Interfaces:

TptpParserOutput.AtomicFormula, TptpParserOutput.FofFormula

Enclosing class:

SimpleTptpParserOutput.Formula

public static class SimpleTptpParserOutput.Formula.Atomic
extends SimpleTptpParserOutput.Formula
implements TptpParserOutput.AtomicFormula

Nested Class Summary

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

SimpleTptpParserOutput.Formula.Atomic, SimpleTptpParserOutput.Formula.Binary, SimpleTptpParserOutput.Formula.Kind, SimpleTptpParserOutput.Formula.Negation, SimpleTptpParserOutput.Formula.Quantified

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.Formula

_kind

Constructor Summary

Constructors

Constructor and Description
Atomic(String predicate, Iterable<TptpParserOutput.Term> arguments)
Atomic(String predicate, LinkedList<SimpleTptpParserOutput.Term> arguments)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Iterable<SimpleTptpParserOutput.Term>	getArguments()
int	getNumberOfArguments()
String	getPredicate()
int	hashCode() should never be called so throw an error.
String	toString()
String	toString(int indent)

Methods inherited from class tptp_parser.SimpleTptpParserOutput.Formula

getKind

Methods inherited from class java.lang.Object

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

Constructor Detail

Atomic

public Atomic(String predicate,
              Iterable<TptpParserOutput.Term> arguments)

Atomic

public Atomic(String predicate,
              LinkedList<SimpleTptpParserOutput.Term> arguments)

Method Detail

getPredicate

public String getPredicate()

getNumberOfArguments

public int getNumberOfArguments()

getArguments

public Iterable<SimpleTptpParserOutput.Term> getArguments()

equals

public boolean equals(Object obj)

Overrides:

equals in class SimpleTptpParserOutput.Formula

Parameters:

obj - must be convertible to Atomic, can be null

hashCode

public int hashCode()

Description copied from class: SimpleTptpParserOutput.Formula

should never be called so throw an error.

Overrides:

hashCode in class SimpleTptpParserOutput.Formula

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.Formula

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.Formula