trace.visualizers
Class DomainMatrix
java.lang.Object
trace.Visualizer
trace.visualizers.DomainMatrix
- Direct Known Subclasses:
- AllDifferentMatrix, BinaryMatrix
public class DomainMatrix
- extends Visualizer
,
A specialized visualizer for a matrix of domain variables
- Since:
- 14/12/10
- Author:
- Charles Prud'homme
Constructor Summary |
|
DomainMatrix(Var[][] vars,
String display,
int width,
int height)
Build a visualizer for a matrix of domain variables |
|
DomainMatrix(Var[][] vars,
String display,
int x,
int y,
int width,
int height,
String group,
int min,
int max)
Build a visualizer for a matrix of domain variables |
protected |
DomainMatrix(Var[][] vars,
String type,
String display,
int width,
int height)
|
|
DomainMatrix(Var[][] vars,
String type,
String display,
int x,
int y,
int width,
int height,
String group,
int min,
int max)
|
Methods inherited from class trace.Visualizer |
getDisplay, getGroup, getHeight, getId, getType, getWidth, options, setGroup, setId, setMinMax, setXY |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DomainMatrix
public DomainMatrix(Var[][] vars,
String display,
int width,
int height)
- Build a visualizer for a matrix of domain variables
- Parameters:
vars
- domain variablesdisplay
- "expanded" or "compact"width
- width of the visualizerheight
- height of the visualizer
DomainMatrix
protected DomainMatrix(Var[][] vars,
String type,
String display,
int width,
int height)
DomainMatrix
public DomainMatrix(Var[][] vars,
String display,
int x,
int y,
int width,
int height,
String group,
int min,
int max)
- Build a visualizer for a matrix of domain variables
- Parameters:
vars
- domain variablesdisplay
- "expanded" or "compact"x
- coordinate of the visualizer in the x-axis (horizontal)y
- coordinate of the visualizer in the y-axis (vertical)width
- width of the visualizerheight
- height of the visualizergroup
- group name (to group multiple constraints)min
- expected minimal value of any of the domainsmax
- expected maximal value of any of the domains
DomainMatrix
public DomainMatrix(Var[][] vars,
String type,
String display,
int x,
int y,
int width,
int height,
String group,
int min,
int max)
print
protected void print(org.slf4j.Logger logger,
boolean focus,
IntBranchingDecision decision)
- Specified by:
print
in class Visualizer
Copyright © 2012. All Rights Reserved.