#include <simulatedtempering.h>
Inheritance diagram for SimulatedTempering:
Public Member Functions | |
SimulatedTempering (VariableState *state, long int seed, const bool &trackClauseTrueCnts, SimulatedTemperingParams *stParams) | |
Constructor. | |
~SimulatedTempering () | |
Destroys allocated memory. | |
void | init () |
Initializes Simulated Tempering. | |
void | infer () |
Runs Simulated Tempering. |
Definition at line 78 of file simulatedtempering.h.