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().