trace.visualizers
Class BoolChanneling

java.lang.Object
  extended by trace.Visualizer
      extended by trace.visualizers.BoolChanneling

public final class BoolChanneling
extends Visualizer

A specialized visualizer for the boolean channeling constraint. (in Choco: domainChanneling)

Since:
13/12/10
Author:
Charles Prud'homme

Field Summary
 
Fields inherited from class trace.Visualizer
display, group, height, id, max, min, width, writer, x, y
 
Constructor Summary
BoolChanneling(IntDomainVar var, IntDomainVar[] bool, int offset, String display, int width, int height)
          Build a visualizer for the boolean channeling constraint
BoolChanneling(IntDomainVar var, IntDomainVar[] bool, int offset, String display, int x, int y, int width, int height, String group, int min, int max)
          Build a visualizer for the boolean channeling constraint
BoolChanneling(IntDomainVar var, IntDomainVar[] bool, String display, int width, int height)
          Build a visualizer for the boolean channeling constraint
BoolChanneling(IntDomainVar var, IntDomainVar[] bool, String display, int x, int y, int width, int height, String group, int min, int max)
          Build a visualizer for the boolean channeling constraint
 
Method Summary
protected  void print(org.slf4j.Logger logger, boolean focus, IntBranchingDecision decision)
           
 
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
 

Constructor Detail

BoolChanneling

public BoolChanneling(IntDomainVar var,
                      IntDomainVar[] bool,
                      int offset,
                      String display,
                      int width,
                      int height)
Build a visualizer for the boolean channeling constraint

Parameters:
var - domain variable
bool - collection of boolean variables
offset - starting value
display - "expanded" or "compact"
width - width of the visualizer
height - height of the visualizer

BoolChanneling

public BoolChanneling(IntDomainVar var,
                      IntDomainVar[] bool,
                      String display,
                      int width,
                      int height)
Build a visualizer for the boolean channeling constraint

Parameters:
var - domain variable
bool - collection of boolean variables
display - "expanded" or "compact"
width - width of the visualizer
height - height of the visualizer

BoolChanneling

public BoolChanneling(IntDomainVar var,
                      IntDomainVar[] bool,
                      int offset,
                      String display,
                      int x,
                      int y,
                      int width,
                      int height,
                      String group,
                      int min,
                      int max)
Build a visualizer for the boolean channeling constraint

Parameters:
var - domain variable
bool - collection of boolean variables
offset - starting value
display - "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 visualizer
height - height of the visualizer
group - group name (to group multiple constraints)
min - expected minimal value of any of the domains
max - expected maximal value of any of the domains

BoolChanneling

public BoolChanneling(IntDomainVar var,
                      IntDomainVar[] bool,
                      String display,
                      int x,
                      int y,
                      int width,
                      int height,
                      String group,
                      int min,
                      int max)
Build a visualizer for the boolean channeling constraint

Parameters:
var - domain variable
bool - collection of boolean variables
display - "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 visualizer
height - height of the visualizer
group - group name (to group multiple constraints)
min - expected minimal value of any of the domains
max - expected maximal value of any of the domains
Method Detail

print

protected void print(org.slf4j.Logger logger,
                     boolean focus,
                     IntBranchingDecision decision)
Specified by:
print in class Visualizer


Copyright © 2012. All Rights Reserved.