org.openqed.parser.tptp
Class TptpHeader

java.lang.Object
  extended by 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()