org.openqed.parser.tptp
Class TptpHeader.TptpVersion

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

All Implemented Interfaces:

java.lang.Comparable<TptpHeader.TptpVersion>

Enclosing class:

TptpHeader

public class TptpHeader.TptpVersion
extends java.lang.Object
implements java.lang.Comparable<TptpHeader.TptpVersion>

Constructor Summary

TptpHeader.TptpVersion(int majorVersionNumber, int minorVersionNumber, int maintenanceVersionNumber)

Method Summary

int	compareTo(TptpHeader.TptpVersion tptpVersion)
boolean	equals(java.lang.Object object)
int	getMaintenanceVersionNumber()
int	getMajorVersionNumber()
int	getMinorVersionNumber()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TptpHeader.TptpVersion

public TptpHeader.TptpVersion(int majorVersionNumber,
                              int minorVersionNumber,
                              int maintenanceVersionNumber)

Method Detail

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(TptpHeader.TptpVersion tptpVersion)

Specified by:

compareTo in interface java.lang.Comparable<TptpHeader.TptpVersion>

getMajorVersionNumber

public int getMajorVersionNumber()

getMinorVersionNumber

public int getMinorVersionNumber()

getMaintenanceVersionNumber

public int getMaintenanceVersionNumber()