edu.washington.cs.supple.render.search
Class ShortcutSolver

java.lang.Object
  edu.washington.cs.supple.render.AbstractSolver
      edu.washington.cs.supple.render.search.BottomUpSearchSolver
          edu.washington.cs.supple.render.search.AbstractShortcutSolver
              edu.washington.cs.supple.render.search.ShortcutSolver

All Implemented Interfaces:

Solver

public class ShortcutSolver

extends AbstractShortcutSolver

Author:

kgajos

Field Summary

Fields inherited from class edu.washington.cs.supple.render.search.AbstractShortcutSolver

navShortcuts, numOfNavShortcuts, numOfPrimitiveShortcuts, primitiveShortcuts

Fields inherited from class edu.washington.cs.supple.render.search.BottomUpSearchSolver

costComparator, mrvComparator

Fields inherited from class edu.washington.cs.supple.render.AbstractSolver

bags, BOTTOM_UP, constraintFactory, costFunction, currentRenderingConstraints, currentRenderingHints, curSearchParameters, curSolution, curSolutionRoot, finalSolutionListeners, interrupted, listener, MRV, propagationLevels, searchCount, SORT_COST, SORT_COST_REVERSE, SORT_RANDOM, spies, TOP_DOWN, valueSorting, variableOrdering, widgetFactory

Constructor Summary

ShortcutSolver()

Method Summary

boolean	search(WidgetBag root, java.util.Vector nodes) A simple search routine
boolean	search(WidgetBag root, java.util.Vector nodes, GraphTransitionCount graph) A simple search routine
protected void	solutionFound(WidgetBag root, java.util.Collection shortcuts, GraphTransitionCount graph)

Methods inherited from class edu.washington.cs.supple.render.search.AbstractShortcutSolver

findNavShortcutTargets, findNavShortcutTargetsFromSolution, findNavShortcutTargetsHelper, generateRandomShortcuts, getNumOfNavShortcuts, getNumOfPrimitiveShortcuts, makeShortcuts, setNumOfNavShortcuts, setNumOfPrimitiveShortcuts

Methods inherited from class edu.washington.cs.supple.render.search.BottomUpSearchSolver

searchDispatch, solve, solve, sortMRV, sortWidgets

Methods inherited from class edu.washington.cs.supple.render.AbstractSolver

addFinalSolutionListener, addSpy, applyConstraint, applyConstraints, applyCostFunction, applyHint, applyHints, applyRenderingConstraint, applySameRenderingConstraint, applySameRenderingHint, buildBagStructure, getBottomUpNodeList, getLeafNodes, getShortcutCost, getTopDownNodeList, interruptSearch, notifyFinalSolutionListeners, notifySpies, removeFinalSolutionListener, removeSpy, reset, setListener, solutionFound, solutionFound, stop

Methods inherited from class java.lang.Object

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

Constructor Detail

ShortcutSolver

public ShortcutSolver()

Method Detail

search

public boolean search(WidgetBag root,
                      java.util.Vector nodes)
               throws java.lang.InterruptedException

Description copied from class: BottomUpSearchSolver

A simple search routine

Overrides:

search in class BottomUpSearchSolver

Parameters:

nodes - a bottom-up list of nodes to explore

Returns:

true if a safisfying assignment was found, false otherwise

Throws:

java.lang.InterruptedException

search

public boolean search(WidgetBag root,
                      java.util.Vector nodes,
                      GraphTransitionCount graph)
               throws java.lang.InterruptedException

A simple search routine

Parameters:

nodes - a bottom-up list of nodes to explore

Returns:

true if a safisfying assignment was found, false otherwise

Throws:

java.lang.InterruptedException

solutionFound

protected void solutionFound(WidgetBag root,
                             java.util.Collection shortcuts,
                             GraphTransitionCount graph)