SPUR
latest
Contents:
Library API
SPUR
Docs
»
Index
Edit on GitHub
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
I
|
L
|
M
|
N
|
P
|
R
|
S
|
T
|
U
|
V
|
X
A
AltComponentAnalyzer (C++ class)
AltComponentAnalyzer::AltComponentAnalyzer (C++ function)
AltComponentAnalyzer::current_archetype (C++ function)
AltComponentAnalyzer::exploreRemainingCompOf (C++ function)
AltComponentAnalyzer::getArchetype (C++ function)
AltComponentAnalyzer::initialize (C++ function)
AltComponentAnalyzer::isUnseenAndActive (C++ function)
AltComponentAnalyzer::makeComponentFromArcheType (C++ function)
AltComponentAnalyzer::manageSearchOccurrenceAndScoreOf (C++ function)
AltComponentAnalyzer::manageSearchOccurrenceOf (C++ function)
AltComponentAnalyzer::max_clause_id (C++ function)
AltComponentAnalyzer::max_variable_id (C++ function)
AltComponentAnalyzer::scoreOf (C++ function)
AltComponentAnalyzer::setSeenAndStoreInSearchStack (C++ function)
AltComponentAnalyzer::setupAnalysisContext (C++ function)
Antecedent (C++ class)
Antecedent::Antecedent (C++ function)
,
[1]
,
[2]
Antecedent::asCl (C++ function)
Antecedent::asLit (C++ function)
Antecedent::isAClause (C++ function)
Antecedent::isAnt (C++ function)
AssignmentContainer (C++ type)
AssignmentEncoding (C++ type)
ASSN_F (C++ enumerator)
ASSN_T (C++ enumerator)
ASSN_U (C++ enumerator)
B
BACKTRACK (C++ enumerator)
BasePackedComponent (C++ class)
BasePackedComponent::_bits_of_data_size (C++ member)
BasePackedComponent::_bits_per_block (C++ member)
BasePackedComponent::_bits_per_clause (C++ member)
BasePackedComponent::_bits_per_variable (C++ member)
BasePackedComponent::_clause_mask (C++ member)
BasePackedComponent::_data_size_mask (C++ member)
BasePackedComponent::_debug_static_val (C++ member)
BasePackedComponent::_variable_mask (C++ member)
BasePackedComponent::adjustPackSize (C++ function)
BasePackedComponent::alloc_of_model_count (C++ function)
BasePackedComponent::BasePackedComponent (C++ function)
,
[1]
BasePackedComponent::bits_of_data_size (C++ function)
BasePackedComponent::bits_per_block (C++ function)
BasePackedComponent::bits_per_clause (C++ function)
BasePackedComponent::bits_per_variable (C++ function)
BasePackedComponent::clear (C++ function)
BasePackedComponent::creation_time (C++ function)
BasePackedComponent::creation_time_ (C++ member)
BasePackedComponent::data_ (C++ member)
BasePackedComponent::hashkey (C++ function)
BasePackedComponent::hashkey_ (C++ member)
BasePackedComponent::isDeletable (C++ function)
BasePackedComponent::length_solution_period_and_flags_ (C++ member)
BasePackedComponent::log2 (C++ function)
BasePackedComponent::model_count (C++ function)
BasePackedComponent::model_count_ (C++ member)
BasePackedComponent::modelCountFound (C++ function)
BasePackedComponent::outbit (C++ function)
BasePackedComponent::set_creation_time (C++ function)
BasePackedComponent::set_deletable (C++ function)
BasePackedComponent::set_model_count (C++ function)
BasePackedComponent::variable_mask (C++ function)
BasePackedComponent::~BasePackedComponent (C++ function)
BITS_PER_BYTE (C macro)
BitStuffer (C++ class)
BitStuffer::assert_size (C++ function)
BitStuffer::BitStuffer (C++ function)
BitStuffer::stuff (C++ function)
C
CA_CL_ALL_LITS_ACTIVE (C macro)
CA_CL_IN_OTHER_COMP (C macro)
CA_CL_IN_SUP_COMP_UNSEEN (C macro)
CA_CL_MASK (C macro)
CA_CL_SEEN (C macro)
CA_NIL (C macro)
CA_SearchState (C++ type)
CA_VAR_IN_OTHER_COMP (C macro)
CA_VAR_IN_SUP_COMP_UNSEEN (C macro)
CA_VAR_MASK (C macro)
CA_VAR_SEEN (C macro)
CacheableComponent (C++ type)
CACHED_VARIABLE_LEN (C macro)
CachedAssignment (C++ class)
CachedAssignment::CachedAssignment (C++ function)
CachedAssignment::clear (C++ function)
CachedAssignment::emancipated_vars (C++ function)
CachedAssignment::empty (C++ function)
CachedAssignment::IncreaseSize (C++ function)
CachedAssignment::literals (C++ function)
CachedAssignment::num_components (C++ function)
CachedAssignment::ProcessComponent (C++ function)
CachedAssignment::Sort (C++ function)
CachedAssignment::vars (C++ function)
CacheEntryID (C++ type)
CLAUSE_ADDING_ERROR (C macro)
ClauseHeader (C++ class)
ClauseHeader::creation_time (C++ function)
ClauseHeader::decayScore (C++ function)
ClauseHeader::increaseScore (C++ function)
ClauseHeader::length (C++ function)
ClauseHeader::overheadInLits (C++ function)
ClauseHeader::score (C++ function)
ClauseHeader::set_creation_time (C++ function)
ClauseHeader::set_length (C++ function)
ClauseIndex (C++ type)
ClauseOfs (C++ type)
clsSENTINEL (C macro)
COLOR_BLACK (C++ enumerator)
COLOR_BLUE (C++ enumerator)
COLOR_CYAN (C++ enumerator)
COLOR_GREEN (C++ enumerator)
COLOR_MAGENTA (C++ enumerator)
COLOR_RED (C++ enumerator)
COLOR_YELLOW (C++ enumerator)
Component (C++ class)
Component::addCl (C++ function)
Component::addVar (C++ function)
Component::clauses_ofs (C++ function)
Component::clear (C++ function)
Component::closeClauseData (C++ function)
Component::closeVariableData (C++ function)
Component::clsBegin (C++ function)
Component::createAsDummyComponent (C++ function)
Component::empty (C++ function)
Component::getData (C++ function)
Component::id (C++ function)
Component::num_variables (C++ function)
Component::numLongClauses (C++ function)
Component::reserveSpace (C++ function)
Component::set_id (C++ function)
Component::varsBegin (C++ function)
COMPONENT_SPLIT (C++ enumerator)
ComponentAnalyzer (C++ type)
ComponentArchetype (C++ class)
ComponentArchetype::clause_all_lits_active (C++ function)
ComponentArchetype::clause_nil (C++ function)
ComponentArchetype::clause_seen (C++ function)
ComponentArchetype::clause_seen_in_peer_comp (C++ function)
ComponentArchetype::clause_unseen_in_sup_comp (C++ function)
ComponentArchetype::clearArrays (C++ function)
ComponentArchetype::ComponentArchetype (C++ function)
,
[1]
ComponentArchetype::current_comp_for_caching_ (C++ member)
ComponentArchetype::initArrays (C++ function)
ComponentArchetype::makeComponentFromState (C++ function)
ComponentArchetype::reInitialize (C++ function)
ComponentArchetype::setClause_all_lits_active (C++ function)
ComponentArchetype::setClause_in_other_comp (C++ function)
ComponentArchetype::setClause_in_sup_comp_unseen (C++ function)
ComponentArchetype::setClause_nil (C++ function)
ComponentArchetype::setClause_seen (C++ function)
,
[1]
ComponentArchetype::setVar_in_other_comp (C++ function)
ComponentArchetype::setVar_in_sup_comp_unseen (C++ function)
ComponentArchetype::setVar_nil (C++ function)
ComponentArchetype::setVar_seen (C++ function)
ComponentArchetype::stack_level (C++ function)
ComponentArchetype::super_comp (C++ function)
ComponentArchetype::var_nil (C++ function)
ComponentArchetype::var_seen (C++ function)
ComponentArchetype::var_seen_in_peer_comp (C++ function)
ComponentArchetype::var_unseen_in_sup_comp (C++ function)
ComponentCache (C++ class)
ComponentCache::cleanPollutionsInvolving (C++ function)
ComponentCache::ComponentCache (C++ function)
ComponentCache::compute_byte_size_infrastructure (C++ function)
ComponentCache::debug_dump_data (C++ function)
ComponentCache::deleteEntries (C++ function)
ComponentCache::entry (C++ function)
ComponentCache::entry_const (C++ function)
ComponentCache::eraseEntry (C++ function)
ComponentCache::hasEntry (C++ function)
ComponentCache::init (C++ function)
ComponentCache::manageNewComponent (C++ function)
ComponentCache::removeFromDescendantsTree (C++ function)
ComponentCache::removeFromHashTable (C++ function)
ComponentCache::storeAsEntry (C++ function)
ComponentCache::storeValueOf (C++ function)
ComponentCache::test_descendantstree_consistency (C++ function)
ComponentCache::~ComponentCache (C++ function)
ComponentManager (C++ class)
ComponentManager::buildFreedVariableList (C++ function)
ComponentManager::buildResidualComponent (C++ function)
ComponentManager::cacheModelCountAndAssignment (C++ function)
ComponentManager::cacheModelCountOf (C++ function)
ComponentManager::cleanRemainingComponentsOf (C++ function)
ComponentManager::component (C++ function)
ComponentManager::component_stack_size (C++ function)
ComponentManager::ComponentManager (C++ function)
ComponentManager::findNextRemainingComponentOf (C++ function)
ComponentManager::gatherStatistics (C++ function)
ComponentManager::initialize (C++ function)
ComponentManager::recordRemainingCompsFor (C++ function)
ComponentManager::removeAllCachePollutionsOf (C++ function)
ComponentManager::scoreOf (C++ function)
ComponentManager::sortComponentStackRange (C++ function)
ComponentManager::super_component (C++ function)
ComponentManager::superComponentOf (C++ function)
ComponentManager::top_stack (C++ function)
ComponentVarAndCls (C++ type)
CYLINDER (C++ enumerator)
D
DataAndStatistics (C++ class)
DataAndStatistics::cache_bytes_memory_usage (C++ function)
DataAndStatistics::cache_full (C++ function)
DataAndStatistics::cache_hits (C++ function)
DataAndStatistics::cache_infrastructure_bytes_memory_usage_ (C++ member)
DataAndStatistics::cache_MB_memory_usage (C++ function)
DataAndStatistics::cache_miss_rate (C++ function)
DataAndStatistics::cached_component_count (C++ function)
DataAndStatistics::clause_deletion_interval (C++ function)
DataAndStatistics::DataAndStatistics (C++ function)
DataAndStatistics::exit_state_ (C++ member)
DataAndStatistics::final_solution_count (C++ function)
DataAndStatistics::final_solution_count_ (C++ member)
DataAndStatistics::getAvgCacheHitSize (C++ function)
DataAndStatistics::getAvgComponentSize (C++ function)
DataAndStatistics::getTime (C++ function)
DataAndStatistics::implicitBCP_miss_rate (C++ function)
DataAndStatistics::incorporate_cache_erase (C++ function)
DataAndStatistics::incorporate_cache_hit (C++ function)
DataAndStatistics::incorporate_cache_store (C++ function)
DataAndStatistics::incorporateClauseData (C++ function)
DataAndStatistics::input_file_ (C++ member)
DataAndStatistics::max_branch_var_depth_ (C++ member)
DataAndStatistics::max_component_split_depth_ (C++ member)
DataAndStatistics::maximum_cache_size_bytes_ (C++ member)
DataAndStatistics::num_binary_clauses_ (C++ member)
DataAndStatistics::num_binary_conflict_clauses_ (C++ member)
DataAndStatistics::num_cache_hits_ (C++ member)
DataAndStatistics::num_cache_look_ups_ (C++ member)
DataAndStatistics::num_cached_components_ (C++ member)
DataAndStatistics::num_clauses (C++ function)
DataAndStatistics::num_clauses_learned_ (C++ member)
DataAndStatistics::num_conflict_clauses (C++ function)
DataAndStatistics::num_conflicts_ (C++ member)
DataAndStatistics::num_decisions_ (C++ member)
DataAndStatistics::num_failed_literal_tests_ (C++ member)
DataAndStatistics::num_failed_literals_detected_ (C++ member)
DataAndStatistics::num_free_variables_ (C++ member)
DataAndStatistics::num_indep_support_variables_ (C++ member)
DataAndStatistics::num_long_clauses_ (C++ member)
DataAndStatistics::num_long_conflict_clauses_ (C++ member)
DataAndStatistics::num_models_by_tree_node_type_ (C++ member)
DataAndStatistics::num_original_binary_clauses_ (C++ member)
DataAndStatistics::num_original_clauses_ (C++ member)
DataAndStatistics::num_original_unit_clauses_ (C++ member)
DataAndStatistics::num_original_variables_ (C++ member)
DataAndStatistics::num_top_tree_nodes_ (C++ member)
DataAndStatistics::num_tree_node_models (C++ function)
DataAndStatistics::num_tree_nodes (C++ function)
DataAndStatistics::num_tree_nodes_by_type_ (C++ member)
DataAndStatistics::num_unit_clauses_ (C++ member)
DataAndStatistics::num_used_variables_ (C++ member)
DataAndStatistics::num_variables_ (C++ member)
DataAndStatistics::numb_second_pass_vars_ (C++ member)
DataAndStatistics::overall_bytes_components_stored_ (C++ member)
DataAndStatistics::overall_bytes_pure_stored_component_data_ (C++ member)
DataAndStatistics::overall_cache_bytes_memory_stored (C++ function)
DataAndStatistics::overall_num_cache_stores_ (C++ member)
DataAndStatistics::percent_tree_node_models (C++ function)
DataAndStatistics::printShort (C++ function)
DataAndStatistics::printShortFormulaInfo (C++ function)
DataAndStatistics::reset_statistics (C++ function)
DataAndStatistics::sampler_pass_1_time_ (C++ member)
DataAndStatistics::sampler_pass_2_time_ (C++ member)
DataAndStatistics::sampler_time_elapsed_ (C++ member)
DataAndStatistics::set_final_solution_count (C++ function)
DataAndStatistics::start_time_ (C++ member)
DataAndStatistics::sum_bytes_cached_components_ (C++ member)
DataAndStatistics::sum_bytes_pure_cached_component_data_ (C++ member)
DataAndStatistics::sum_cache_hit_sizes_ (C++ member)
DataAndStatistics::sum_size_cached_components_ (C++ member)
DataAndStatistics::sys_overhead_overall_bytes_components_stored_ (C++ member)
DataAndStatistics::sys_overhead_sum_bytes_cached_components_ (C++ member)
DataAndStatistics::times_conflict_clauses_cleaned_ (C++ member)
DataAndStatistics::UpdateNodeTypeStatistics (C++ function)
DecisionLevel (C++ type)
DecisionStack (C++ class)
DecisionStack::DecisionStack (C++ function)
DecisionStack::get_decision_level (C++ function)
DecisionStack::on_deck (C++ function)
DecisionStack::startFailedLitTest (C++ function)
DecisionStack::stopFailedLitTest (C++ function)
DecisionStack::top (C++ function)
DecisionStack::top_const (C++ function)
DifferencePackedComponent (C++ class)
DifferencePackedComponent::data_only_byte_size (C++ function)
DifferencePackedComponent::data_size (C++ function)
DifferencePackedComponent::DifferencePackedComponent (C++ function)
,
[1]
DifferencePackedComponent::equals (C++ function)
DifferencePackedComponent::num_variables (C++ function)
DifferencePackedComponent::raw_data_byte_size (C++ function)
DifferencePackedComponent::sys_overhead_raw_data_byte_size (C++ function)
E
END_ESCAPE (C macro)
ESCAPE_CHAR (C macro)
EXIT (C++ enumerator)
EXIT_TIMEOUT (C macro)
ExitInvalidParam (C++ function)
ExitWithError (C++ function)
F
F_TRI (C macro)
FILE_PATH_SEPARATOR (C macro)
FileExists (C++ function)
FIRST_VAR (C macro)
G
GenericCacheableComponent (C++ class)
GenericCacheableComponent::father (C++ function)
GenericCacheableComponent::first_descendant (C++ function)
GenericCacheableComponent::GenericCacheableComponent (C++ function)
,
[1]
GenericCacheableComponent::next_bucket_element (C++ function)
GenericCacheableComponent::next_sibling (C++ function)
GenericCacheableComponent::set_father (C++ function)
GenericCacheableComponent::set_first_descendant (C++ function)
GenericCacheableComponent::set_next_bucket_element (C++ function)
GenericCacheableComponent::set_next_sibling (C++ function)
GenericCacheableComponent::SizeInBytes (C++ function)
GenericCacheableComponent::sys_overhead_SizeInBytes (C++ function)
I
Instance (C++ class)
Instance::addBinaryClause (C++ function)
Instance::addClause (C++ function)
Instance::addUIPConflictClause (C++ function)
Instance::addUnitClause (C++ function)
Instance::antecedent (C++ function)
Instance::beginOf (C++ function)
,
[1]
Instance::cleanClause (C++ function)
Instance::compactClauses (C++ function)
Instance::compactConflictLiteralPool (C++ function)
Instance::compactVariables (C++ function)
Instance::conflict_clauses_ (C++ member)
Instance::conflict_clauses_begin (C++ function)
Instance::createfromFile (C++ function)
Instance::decayActivities (C++ function)
Instance::deleteConflictClauses (C++ function)
Instance::existsUnitClauseOf (C++ function)
Instance::free (C++ function)
Instance::getAntecedent (C++ function)
Instance::getHeaderOf (C++ function)
Instance::has_independent_support_ (C++ member)
Instance::hasAntecedent (C++ function)
Instance::independent_support (C++ member)
Instance::isActive (C++ function)
Instance::isAntecedentOf (C++ function)
Instance::isolated (C++ function)
Instance::isResolved (C++ function)
Instance::isSatisfied (C++ function)
,
[1]
Instance::isUnitClause (C++ function)
Instance::literal (C++ function)
Instance::literal_pool_ (C++ member)
Instance::literal_values_ (C++ member)
Instance::literals_ (C++ member)
Instance::markClauseDeleted (C++ function)
Instance::num_conflict_clauses (C++ function)
Instance::num_variables (C++ function)
Instance::occurrence_lists_ (C++ member)
Instance::original_lit_pool_size_ (C++ member)
Instance::ParseCnfCommentForSupport (C++ function)
Instance::statistics_ (C++ member)
Instance::unit_clauses_ (C++ member)
Instance::unSet (C++ function)
Instance::unused_vars_ (C++ member)
Instance::updateActivities (C++ function)
Instance::var (C++ function)
Instance::var_const (C++ function)
Instance::variables_ (C++ member)
INVALID_DL (C macro)
ITEM_SEP (C macro)
L
ListOfSamples (C++ type)
Literal (C++ class)
Literal::activity_score_ (C++ member)
Literal::addBinLinkTo (C++ function)
Literal::addWatchLinkTo (C++ function)
Literal::binary_links_ (C++ member)
Literal::hasBinaryLinks (C++ function)
Literal::hasBinaryLinkTo (C++ function)
Literal::increaseActivity (C++ function)
Literal::removeWatchLinkTo (C++ function)
Literal::replaceWatchLinkTo (C++ function)
Literal::resetActivity (C++ function)
Literal::resetWatchList (C++ function)
Literal::watch_list_ (C++ member)
LiteralID (C++ class)
LiteralID::copyRaw (C++ function)
LiteralID::inc (C++ function)
LiteralID::LiteralID (C++ function)
,
[1]
,
[2]
LiteralID::neg (C++ function)
LiteralID::operator!= (C++ function)
LiteralID::operator< (C++ function)
LiteralID::operator== (C++ function)
LiteralID::print (C++ function)
LiteralID::raw (C++ function)
LiteralID::sign (C++ function)
LiteralID::toInt (C++ function)
LiteralID::var (C++ function)
LiteralIndexedVector (C++ class)
LiteralIndexedVector::begin (C++ function)
LiteralIndexedVector::end_lit (C++ function)
LiteralIndexedVector::LiteralIndexedVector (C++ function)
,
[1]
LiteralIndexedVector::operator[] (C++ function)
,
[1]
LiteralIndexedVector::reserve (C++ function)
LiteralIndexedVector::resize (C++ function)
,
[1]
LT (C macro)
M
MAX_DEPTH (C++ enumerator)
N
NIL_ENTRY (C macro)
NO_STATE (C++ enumerator)
NUM_TREE_NODE_TYPES (C++ enumerator)
P
PartialAssignment (C++ type)
PRINT_BOLD (C macro)
PrintColor (C++ type)
PrintWarning (C++ function)
PROCESS_COMPONENT (C++ enumerator)
R
Random (C++ class)
Random::binom (C++ function)
Random::DownsampleList (C++ function)
Random::init (C++ function)
Random::Mpz (C++ class)
,
[1]
Random::Mpz::binom (C++ function)
,
[1]
Random::Mpz::uniform (C++ function)
,
[1]
Random::SelectRangeInts (C++ function)
Random::shuffle (C++ function)
,
[1]
Random::uniform (C++ function)
,
[1]
RESET_CONSOLE_COLOR (C macro)
RESOLVED (C++ enumerator)
S
SampleAssignment (C++ class)
SampleAssignment::cache_comp_ids (C++ function)
SampleAssignment::clear_cache_comp_ids (C++ function)
SampleAssignment::GetPartialAssignment (C++ function)
SampleAssignment::IsComplete (C++ function)
SampleAssignment::IsVarEmancipated (C++ function)
SampleAssignment::num_set_vars (C++ function)
SampleAssignment::num_set_vars_const (C++ function)
SampleAssignment::num_unset_vars (C++ function)
SampleAssignment::sample_count (C++ function)
SampleAssignment::SampleAssignment (C++ function)
,
[1]
SampleAssignment::set_num_var (C++ function)
SampleAssignment::setVarAssignment (C++ function)
SampleAssignment::ToString (C++ function)
SampleAssignment::var_assignment (C++ function)
SampleSize (C++ type)
SamplesManager (C++ class)
SamplesManager::AddCachedCompIds (C++ function)
SamplesManager::AddEmancipatedVars (C++ function)
SamplesManager::append (C++ function)
,
[1]
SamplesManager::clear (C++ function)
SamplesManager::exportFinal (C++ function)
SamplesManager::GenerateSamplesToReplace (C++ function)
SamplesManager::GetActualSampleCount (C++ function)
SamplesManager::IsComplete (C++ function)
SamplesManager::KeepSamples (C++ function)
SamplesManager::merge (C++ function)
SamplesManager::model_count (C++ function)
SamplesManager::num_samples (C++ function)
SamplesManager::RemoveSamples (C++ function)
SamplesManager::reservoirSample (C++ function)
SamplesManager::samples (C++ function)
SamplesManager::SamplesManager (C++ function)
SamplesManager::SplitAndStitch (C++ function)
SamplesManager::stitch (C++ function)
SamplesManager::StitchShuffledArray (C++ function)
SamplesManager::TransferVariableAssignments (C++ function)
SamplesManager::verifyPostStitchingCorrectness (C++ function)
SamplesManager::verifySampleCount (C++ function)
SamplesManager::VerifySolutions (C++ function)
SENTINEL_CL (C macro)
SENTINEL_LIT (C macro)
Solver (C++ class)
Solver::config (C++ function)
Solver::DisableTopTreeSampling (C++ function)
Solver::PushNewSamplesManagerOnStack (C++ function)
Solver::sample_models (C++ function)
Solver::solve (C++ function)
Solver::Solver (C++ function)
,
[1]
,
[2]
Solver::statistics (C++ function)
SolverConfiguration (C++ class)
SolverConfiguration::debug_mode (C++ member)
SolverConfiguration::disable_samples_write_ (C++ member)
SolverConfiguration::EnableSampleCaching (C++ function)
SolverConfiguration::max_top_tree_depth_ (C++ member)
SolverConfiguration::max_top_tree_leaf_sample_count (C++ member)
SolverConfiguration::num_samples_ (C++ member)
SolverConfiguration::num_samples_to_cache_ (C++ member)
SolverConfiguration::perform_component_caching (C++ member)
SolverConfiguration::perform_failed_lit_test (C++ member)
SolverConfiguration::perform_pre_processing (C++ member)
SolverConfiguration::perform_random_sampling_ (C++ member)
SolverConfiguration::perform_sample_caching (C++ function)
SolverConfiguration::perform_top_tree_sampling (C++ member)
SolverConfiguration::perform_two_pass_sampling_ (C++ member)
SolverConfiguration::quiet (C++ member)
SolverConfiguration::samples_output_file (C++ member)
SolverConfiguration::skip_partial_assignment_fill (C++ member)
SolverConfiguration::store_sampled_models (C++ function)
SolverConfiguration::time_bound_seconds (C++ member)
SolverConfiguration::top_tree_samples_output_file_ (C++ member)
SolverConfiguration::verbose (C++ member)
SolverExitState (C++ type)
SolverNextAction (C++ type)
StackLevel (C++ class)
StackLevel::addCachedCompIds (C++ function)
StackLevel::addFreeVariables (C++ function)
StackLevel::anotherCompProcessible (C++ function)
StackLevel::branch_found_unsat (C++ function)
StackLevel::cached_assn (C++ function)
StackLevel::cached_comp_ids (C++ function)
StackLevel::changeBranch (C++ function)
StackLevel::ClearCachedAssn (C++ function)
StackLevel::componentSplitDepth (C++ function)
StackLevel::configureNewLevel (C++ function)
StackLevel::currentRemainingComponent (C++ function)
StackLevel::emancipated_vars (C++ function)
StackLevel::getActiveModelCount (C++ function)
StackLevel::getSamplerSolutionMultiplier (C++ function)
StackLevel::getTotalModelCount (C++ function)
StackLevel::HasNoDescendentModels (C++ function)
StackLevel::hasUnprocessedComponents (C++ function)
StackLevel::includeSolution (C++ function)
,
[1]
StackLevel::includeSolutionSampleMultiplier (C++ function)
StackLevel::isComponentSplit (C++ function)
StackLevel::isFirstComponent (C++ function)
StackLevel::isSecondBranch (C++ function)
StackLevel::literal_stack_ofs (C++ function)
StackLevel::mark_branch_unsat (C++ function)
StackLevel::markFirstComponentComplete (C++ function)
StackLevel::nextUnprocessedComponent (C++ function)
StackLevel::random_cache_sample (C++ function)
StackLevel::remaining_components_ofs (C++ function)
StackLevel::resetRemainingComps (C++ function)
StackLevel::set_cache_sample (C++ function)
StackLevel::set_cached_assn (C++ function)
StackLevel::set_solver_config_and_statistics (C++ function)
StackLevel::set_unprocessed_components_end (C++ function)
StackLevel::setAsComponentSplit (C++ function)
StackLevel::StackLevel (C++ function)
,
[1]
StackLevel::super_component (C++ function)
StackLevel::unprocessed_components_end (C++ function)
StackLevel::unsetAsComponentSplit (C++ function)
StopWatch (C++ class)
StopWatch::getElapsedSeconds (C++ function)
StopWatch::interval_tick (C++ function)
StopWatch::setTimeBound (C++ function)
StopWatch::start (C++ function)
StopWatch::stop (C++ function)
StopWatch::StopWatch (C++ function)
StopWatch::timeBoundBroken (C++ function)
STR_DECIMAL_BASE (C macro)
SUCCESS (C++ enumerator)
T
T_TRI (C macro)
toDEBUGOUT (C macro)
TopTreeLiteral (C++ type)
TopTreeNodeType (C++ type)
TreeNodeIndex (C++ type)
TriValue (C++ type)
U
UpdateVarDescedantsList (C++ function)
,
[1]
V
Variable (C++ class)
Variable::ante (C++ member)
Variable::decision_level (C++ member)
VariableIndex (C++ type)
varsSENTINEL (C macro)
X
X_TRI (C macro)
Read the Docs
v: latest
Versions
latest
stable
Downloads
pdf
htmlzip
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.