Module org.maxicp

Package org.maxicp.search

Class DFSTreeRecorder

java.lang.Object

org.maxicp.search.DFSTreeRecorder

All Implemented Interfaces:

DFSListener

public class DFSTreeRecorder
extends Object
implements DFSListener

A DFSListener that records the search tree in a Tree structure. It can be used to visualize the search process by exoprting the tree to TikZ format.

Field Summary

Fields

Modifier and Type	Field	Description
final int	root

Constructor Summary

Constructors

Constructor	Description
DFSTreeRecorder()

Method Summary

Modifier and Type	Method	Description
void	branch(int nodeId, int parentId)
void	branch(int id, int pId, String edgeLabel)
void	fail(int nodeId, int parentId)
void	fail(int id, int pId, String edgeLabel)
void	solution(int nodeId, int parentId)
void	solution(int id, int pId, String edgeLabel)
String	toString()
void	toTikz()
void	toTikz(double xScale, double yStep, double labelOffsetPt, double nodeDiameter)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.maxicp.search.DFSListener

branchingAction, clear, restoreState, saveState

Field Details

root

public final int root

See Also:

• Constant Field Values

Constructor Details

DFSTreeRecorder

public DFSTreeRecorder()

Method Details

branch

public void branch(int nodeId,
 int parentId)

Specified by:

branch in interface DFSListener

solution

public void solution(int nodeId,
 int parentId)

Specified by:

solution in interface DFSListener

fail

public void fail(int nodeId,
 int parentId)

Specified by:

fail in interface DFSListener

solution

public void solution(int id,
 int pId,
 String edgeLabel)

fail

public void fail(int id,
 int pId,
 String edgeLabel)

branch

public void branch(int id,
 int pId,
 String edgeLabel)

toString

public String toString()

Overrides:

toString in class Object

toTikz

public void toTikz()

toTikz

public void toTikz(double xScale,
 double yStep,
 double labelOffsetPt,
 double nodeDiameter)