Methods in trace.visualizers that return Writer |
protected Writer |
Writer.argumentIn(String idx,
int pf)
|
protected Writer |
Writer.argumentOut(int pf)
|
protected Writer |
Writer.array(int[] values,
int pf)
|
protected Writer |
Writer.arrayDvar(IntDomainVar[] vars,
int pf)
|
protected Writer |
Writer.arrayDvar(SetVar[] vars,
int pf)
|
protected Writer |
Writer.arrayDvar(Var[] vars,
int pf)
|
protected Writer |
Writer.collectionIn(String idx,
int pf)
|
protected Writer |
Writer.collectionOut(int pf)
|
protected Writer |
Writer.integer(int value,
String idx,
int pf)
|
protected Writer |
Writer.ivar(IntDomainVar ivar,
String idx,
int pf)
|
protected Writer |
Writer.svar(SetVar svar,
String idx,
int pf)
|
protected Writer |
Writer.tupleIn(String idx,
int pf)
|
protected Writer |
Writer.tupleOut(int pf)
|
protected Writer |
Writer.var(Var var,
String idx,
int pf)
|