|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbaobab.trace.Trace
baobab.trace.SubTrace
public class SubTrace
The SubTrace class represents a subset of a trace
Constructor Summary | |
---|---|
SubTrace(int[] element,
int elementSize)
Constructs a SubTrace |
|
SubTrace(SubTrace rule)
Constructs a SubTrace, as a clone of a given SubTrace |
Method Summary | |
---|---|
void |
addElement(int[] element,
int elementSize,
int prevNumberOfElements)
Adds a new element to this trace |
byte[] |
getBytes(int elementSize,
int numberOfElements)
Produces a string representation of a trace |
int[] |
getConstraintScore()
|
java.util.Vector<int[]> |
getElements(int elementSize,
int numberOfElements)
Decode the trace as a Vector of elements (represented as arrays of ints) |
java.util.Vector<BitList> |
getRepresentativeElementsAsBitLists(int elementSize,
int numberOfElements)
Decode the trace as a Vector of elements (represented as arrays of BitList) |
void |
join(Trace trace)
Join (merge) the object joinable to this object |
static SubTrace |
parse(java.lang.String description,
int elementSize,
int numberOfElements)
|
static SubTrace |
parse(java.lang.String description,
int elementSize,
int numberOfElements,
java.util.Hashtable<java.lang.String,java.lang.Integer> mapNamesToInt)
|
static SubTrace |
parseBitList(byte[] list,
int elementSize,
int numberOfElements,
int numberOfConstraints)
|
SubTrace |
reverse(int elementSize,
int numberOfElements)
|
void |
setConstraintScore(int[] constraintScore)
|
java.lang.String |
toString(int elementSize,
int numberOfElements)
Produces a string representation of a trace |
java.lang.String |
toString(int elementSize,
int numberOfElements,
java.lang.String[] mapIntToName,
boolean condenseNames)
Produces a string representation of a trace |
java.lang.String |
toString(int elementSize,
int numberOfElements,
java.lang.String[] mapIntToName,
java.util.Hashtable<java.lang.String,java.util.TreeSet<java.lang.String>> mapNamesToDescriptions,
boolean condenseNames)
Produces a string representation of a trace |
Methods inherited from class baobab.trace.Trace |
---|
getDebugElementData, getElementsAsBitLists, getHeightOf, getNumberOfOccurrences, height, incrementDebugNumberOfElements, incrementOccurrences, isEmpty, normalFormString, normalFormString, parseBitList, setDebugElementData, split, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public SubTrace(int[] element, int elementSize)
element
- the first element represented as an array of intselementSize
- the maximum value for all elementspublic SubTrace(SubTrace rule)
rule
- the give traceMethod Detail |
---|
public static SubTrace parse(java.lang.String description, int elementSize, int numberOfElements, java.util.Hashtable<java.lang.String,java.lang.Integer> mapNamesToInt)
public static SubTrace parse(java.lang.String description, int elementSize, int numberOfElements)
public static SubTrace parseBitList(byte[] list, int elementSize, int numberOfElements, int numberOfConstraints)
public java.util.Vector<int[]> getElements(int elementSize, int numberOfElements)
getElements
in class Trace
elementSize
- the maximum value for all elementsnumberOfElements
- the number of elements on this trace
public java.util.Vector<BitList> getRepresentativeElementsAsBitLists(int elementSize, int numberOfElements)
elementSize
- the maximum value for all elementsnumberOfElements
- the number of elements on this trace
public void addElement(int[] element, int elementSize, int prevNumberOfElements)
addElement
in class Trace
element
- the element to be added, represented as an array of intselementSize
- the maximum value for all elements of this traceprevNumberOfElements
- the previous number of elements on this tracepublic void join(Trace trace)
Joinable
join
in interface Joinable<Trace>
join
in class Trace
trace
- the object to be joinedpublic SubTrace reverse(int elementSize, int numberOfElements)
reverse
in class Trace
public byte[] getBytes(int elementSize, int numberOfElements)
getBytes
in class Trace
elementSize
- the maximum value for all elements of this tracenumberOfElements
- the number of elements on this trace
public java.lang.String toString(int elementSize, int numberOfElements)
toString
in class Trace
elementSize
- the maximum value for all elements of this tracenumberOfElements
- the number of elements on this trace
public java.lang.String toString(int elementSize, int numberOfElements, java.lang.String[] mapIntToName, boolean condenseNames)
toString
in class Trace
elementSize
- the maximum value for all elements of this tracenumberOfElements
- the number of elements on this trace
public java.lang.String toString(int elementSize, int numberOfElements, java.lang.String[] mapIntToName, java.util.Hashtable<java.lang.String,java.util.TreeSet<java.lang.String>> mapNamesToDescriptions, boolean condenseNames)
toString
in class Trace
elementSize
- the maximum value for all elements of this tracenumberOfElements
- the number of elements on this trace
public int[] getConstraintScore()
public void setConstraintScore(int[] constraintScore)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |