public class Representative
extends java.lang.Object
Constructor and Description |
---|
Representative(gnu.trove.list.TShortList trace,
int number) |
Modifier and Type | Method and Description |
---|---|
void |
addRepresentedTrace(java.util.Collection<? extends java.lang.Integer> traceIndices) |
void |
addRepresentedTrace(int trace) |
void |
addRepresentedTrace(gnu.trove.set.TIntSet traceIndices) |
boolean |
equals(java.lang.Object o) |
int |
getNumber() |
gnu.trove.list.TIntList |
getRepresented() |
gnu.trove.list.TShortList |
getTrace() |
int |
hashCode() |
java.lang.String |
toString() |
public Representative(gnu.trove.list.TShortList trace, int number)
public void addRepresentedTrace(int trace)
public gnu.trove.list.TIntList getRepresented()
public gnu.trove.list.TShortList getTrace()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public int getNumber()
public void addRepresentedTrace(java.util.Collection<? extends java.lang.Integer> traceIndices)
public void addRepresentedTrace(gnu.trove.set.TIntSet traceIndices)