SolverDataFlags Struct Reference

#include <BenzeneSolver.hpp>

List of all members.

Static Public Attributes
static const int	TRANSPOSITION = 1
	Marks the proof as that of a transposition of some other state.
static const int	MIRROR_TRANSPOSITION = 2
	Marks the proof as a mirror transposition of some other state.

---

Detailed Description

Definition at line 16 of file BenzeneSolver.hpp.

---

Member Data Documentation

const int SolverDataFlags::MIRROR_TRANSPOSITION = 2 [static]

Marks the proof as a mirror transposition of some other state.

Definition at line 24 of file BenzeneSolver.hpp.

Referenced by DfsCommands::CmdGetState(), and ProofUtil::StoreFlippedStates().

const int SolverDataFlags::TRANSPOSITION = 1 [static]

Marks the proof as that of a transposition of some other state.

Definition at line 20 of file BenzeneSolver.hpp.

Referenced by DfsCommands::CmdGetState(), ProofUtil::StoreFlippedStates(), and ProofUtil::StoreTranspositions().

---

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

• BenzeneSolver.hpp