trace
Class VoidWrapper

java.lang.Object
  extended by trace.VoidWrapper

public class VoidWrapper
extends Object


Since:
10/01/11
Author:
Charles Prud'homme

Constructor Summary
protected VoidWrapper()
           
 
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
 

Constructor Detail

VoidWrapper

protected VoidWrapper()
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.