Class EditDistanceGraphState

java.lang.Object
  |
  +--EditDistanceGraphState

public class EditDistanceGraphState

extends java.lang.Object

Field Summary

int	fromIndex
int	lowerBound
int	toId
int	toIndex

Constructor Summary

EditDistanceGraphState()

EditDistanceGraphState(int id)

EditDistanceGraphState(int id, int index1, int index2)

EditDistanceGraphState(int id, int index1, int index2, int lb)

Method Summary

boolean

equals(EditDistanceGraphState toCompare)

Methods inherited from class java.lang.Object

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

Field Detail

fromIndex

public int fromIndex

toIndex

public int toIndex

toId

public int toId

lowerBound

public int lowerBound

Constructor Detail

EditDistanceGraphState

public EditDistanceGraphState()

EditDistanceGraphState

public EditDistanceGraphState(int id)

EditDistanceGraphState

public EditDistanceGraphState(int id,
                              int index1,
                              int index2)

EditDistanceGraphState

public EditDistanceGraphState(int id,
                              int index1,
                              int index2,
                              int lb)

Method Detail

equals

public boolean equals(EditDistanceGraphState toCompare)