Java Reference

Java Reference

RevBool

Detailed Description

This class adds reversibility to a POD type.

It contains the stamp optimization. i.e. the SaveValue call is done only once per node of the search tree. Please note that actual stamps always starts at 1, thus an initial value of 0 will always trigger the first SaveValue.

Definition at line 14 of file RevBool.java.

Public Member Functions

synchronized void delete ()
 
 RevBool (boolean val)
 
boolean value ()
 
void setValue (Solver s, boolean val)
 

Protected Member Functions

 RevBool (long cPtr, boolean cMemoryOwn)
 

Constructor & Destructor Documentation

◆ RevBool() [1/2]

RevBool ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 18 of file RevBool.java.

◆ RevBool() [2/2]

RevBool ( boolean  val)
inline

Definition at line 42 of file RevBool.java.

Member Function Documentation

◆ delete()

synchronized void delete ( )
inline

Definition at line 32 of file RevBool.java.

◆ setValue()

void setValue ( Solver  s,
boolean  val 
)
inline

Definition at line 50 of file RevBool.java.

◆ value()

boolean value ( )
inline

Definition at line 46 of file RevBool.java.


The documentation for this class was generated from the following file: