tptp_parser

Class SimpleTptpParserOutput.Clause

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Clause

All Implemented Interfaces:

TptpParserOutput.CnfFormula

Enclosing class:

SimpleTptpParserOutput

public static class SimpleTptpParserOutput.Clause
extends Object
implements TptpParserOutput.CnfFormula

Constructor Summary

Constructors

Constructor and Description
Clause(Iterable<TptpParserOutput.Literal> literals)

Method Summary

Modifier and Type	Method and Description
Iterable<SimpleTptpParserOutput.Literal>	getLiterals()
String	toString()
String	toString(int indent)

Methods inherited from class java.lang.Object

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

Constructor Detail

Clause

public Clause(Iterable<TptpParserOutput.Literal> literals)

Method Detail

getLiterals

public Iterable<SimpleTptpParserOutput.Literal> getLiterals()

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(int indent)