trace
Class VisuWrapper

java.lang.Object
  extended by trace.VisuWrapper

public class VisuWrapper
extends Object

A wrapper to communicate with the Visualization, used in weaved code.


Since:
9 d�c. 2010
Author:
Charles Prud'homme

Method Summary
 void afterInitialPropagation()
           
 void beforeInitialPropagation()
           
 void failNode()
           
 void hasFailed()
           
 void init()
           
 void setBranchingDecision(IntBranchingDecision currentDecision)
           
 void succNode()
           
 void tryNode()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

init

public void init()

beforeInitialPropagation

public void beforeInitialPropagation()

afterInitialPropagation

public void afterInitialPropagation()

setBranchingDecision

public void setBranchingDecision(IntBranchingDecision currentDecision)

tryNode

public void tryNode()

hasFailed

public void hasFailed()

failNode

public void failNode()

succNode

public void succNode()


Copyright © 2012. All Rights Reserved.