Module org.maxicp

Package org.maxicp.search

Class DFSLinearizer

java.lang.Object

org.maxicp.search.DFSLinearizer

All Implemented Interfaces:

DFSListener

public class DFSLinearizer
extends Object
implements DFSListener

Constructor Summary

Constructors

Constructor	Description
DFSLinearizer()

Method Summary

Modifier and Type	Method	Description
void	branchingAction(Runnable action)
void	clear()
org.maxicp.search.Action	get(int i)
void	restoreState(StateManager sm)
void	saveState(StateManager sm)
int	size()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.maxicp.search.DFSListener

branch, fail, solution

Constructor Details

DFSLinearizer

public DFSLinearizer()

Method Details

branchingAction

public void branchingAction(Runnable action)

Specified by:

branchingAction in interface DFSListener

saveState

public void saveState(StateManager sm)

Specified by:

saveState in interface DFSListener

restoreState

public void restoreState(StateManager sm)

Specified by:

restoreState in interface DFSListener

clear

public void clear()

Specified by:

clear in interface DFSListener

size

public int size()

get

public org.maxicp.search.Action get(int i)