trace
Class VoidWrapper
java.lang.Object
trace.VoidWrapper
public class VoidWrapper
- extends Object
- Since:
- 10/01/11
- Author:
- Charles Prud'homme
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
VoidWrapper
protected VoidWrapper()
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.