Settings for VCBuilder. More...
#include <VCBuilder.hpp>
Public Member Functions | |
VCBuilderParam () | |
Constructor. | |
Public Attributes | |
int | max_ors |
Maximum number of VCs in the OR combining rule. | |
bool | and_over_edge |
Whether the and-rule can and over the edge or not. | |
bool | use_patterns |
Whether to augment VC set with pre-computed VC patterns. | |
bool | use_non_edge_patterns |
Whether to use pre-computed patterns between two non-edge cells. | |
bool | use_greedy_union |
Whether to use the greedy union or not. | |
bool | abort_on_winning_connection |
Stop building VCs once a winning connection is constructed. |
Settings for VCBuilder.
Definition at line 21 of file VCBuilder.hpp.
VCBuilderParam::VCBuilderParam | ( | ) |
Constructor.
Definition at line 22 of file VCBuilder.cpp.
Stop building VCs once a winning connection is constructed.
Definition at line 43 of file VCBuilder.hpp.
Referenced by VCBuilder::DoSearch(), and HexEnvironmentCommands::ParamVC().
Whether the and-rule can and over the edge or not.
This results in many more connections.
Definition at line 28 of file VCBuilder.hpp.
Referenced by VCBuilder::andClosure(), HexEnvironmentCommands::ParamVC(), and ResistanceUtil::SimulateAndOverEdge().
Maximum number of VCs in the OR combining rule.
Definition at line 24 of file VCBuilder.hpp.
Referenced by HexEnvironmentCommands::ParamVC(), and VCBuilder::ProcessSemis().
Whether to use the greedy union or not.
Definition at line 40 of file VCBuilder.hpp.
Referenced by VCBuilder::AddNewSemi(), ProofUtil::InitialProofForOpponent(), HexEnvironmentCommands::ParamVC(), and VCBuilder::ProcessSemis().
Whether to use pre-computed patterns between two non-edge cells.
These can cause an explosion in the number of connections.
Definition at line 36 of file VCBuilder.hpp.
Referenced by VCBuilder::AddPatternVCs(), and HexEnvironmentCommands::ParamVC().
Whether to augment VC set with pre-computed VC patterns.
Definition at line 31 of file VCBuilder.hpp.
Referenced by VCBuilder::Build(), and HexEnvironmentCommands::ParamVC().