org.openqed.parser.tptp
Class TptpHeader

java.lang.Object
  org.openqed.parser.tptp.TptpHeader

public class TptpHeader
extends java.lang.Object

Nested Class Summary

class	TptpHeader.TptpRating
class	TptpHeader.TptpVersion

Constructor Summary

TptpHeader(FormulaSummary formulaSummary)

Method Summary

FormulaSummary

getFormulaSummary()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TptpHeader

public TptpHeader(FormulaSummary formulaSummary)

Method Detail

getFormulaSummary

public FormulaSummary getFormulaSummary()