org.openqed.parser.tptp
Class TptpHeader.TptpRating

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

Enclosing class:

TptpHeader

public class TptpHeader.TptpRating
extends java.lang.Object

Constructor Summary

TptpHeader.TptpRating(double rating, TptpHeader.TptpVersion tptpVersion)

Method Summary

double	getRating()
TptpHeader.TptpVersion	getVersion()

Methods inherited from class java.lang.Object

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

Constructor Detail

TptpHeader.TptpRating

public TptpHeader.TptpRating(double rating,
                             TptpHeader.TptpVersion tptpVersion)

Method Detail

getRating

public double getRating()

getVersion

public TptpHeader.TptpVersion getVersion()