Java Reference

Java Reference

RevInteger

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 RevInteger.java.

Public Member Functions

synchronized void delete ()
 
 RevInteger (int val)
 
int value ()
 
void setValue (Solver s, int val)
 

Protected Member Functions

 RevInteger (long cPtr, boolean cMemoryOwn)
 

Constructor & Destructor Documentation

◆ RevInteger() [1/2]

RevInteger ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 18 of file RevInteger.java.

◆ RevInteger() [2/2]

RevInteger ( int  val)
inline

Definition at line 42 of file RevInteger.java.

Member Function Documentation

◆ delete()

synchronized void delete ( )
inline

Definition at line 32 of file RevInteger.java.

◆ setValue()

void setValue ( Solver  s,
int  val 
)
inline

Definition at line 50 of file RevInteger.java.

◆ value()

int value ( )
inline

Definition at line 46 of file RevInteger.java.


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