Main   Namespaces   Classes   Hierarchy   Annotated   Files   Compound   Global   Pages  

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:


6 Jan 2011 Doxygen 1.6.3