OKlibrary  0.2.1.6
Special_update.cpp File Reference

Go to the source code of this file.

Functions

int main ()

Variables

const string database = "OKRandGen"
const int start = 1400001
const int end = 5000000
const int jump = 1000
const string update = "update bcls_info set an = (select an from b_measures where b_measures.b_info_id = bcls_info.b_info_id)"
const string counter_field = "b_info_id"

Function Documentation


Variable Documentation

const string counter_field = "b_info_id"

Definition at line 22 of file Special_update.cpp.

Referenced by main().

const string database = "OKRandGen"

Definition at line 15 of file Special_update.cpp.

const int end = 5000000

Definition at line 18 of file Special_update.cpp.

Referenced by Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::apply_non_invariant(), OKlib::GeneralInputOutput::OStreamMultiplexer::assign(), LinInequal::Assignment(), OKlib::InputOutput::CLSAdaptorFilter< Int, String, CLSAdaptor >::c(), OKlib::InputOutput::CLSAdaptorPreciseStatistics< Int, String >::clause(), OKlib::InputOutput::CLSAdaptorFullStatistics< Int, String >::clause(), OKlib::InputOutput::CLSAdaptorDIMACSOutput< Int, String, AdaptorStatistics >::clause(), OKlib::InputOutput::RawDimacsCLSAdaptor< Lit, ClauseContainer, Int, String >::clause(), OKlib::InputOutput::RawDimacsCLSAdaptorSets< Lit, ClauseContainer, Int, String >::clause(), ConceptDefinitions::FixedGlobalContainer_concept< T >::constraints(), ConceptDefinitions::VariableWithInfo_concept< Var >::constraints(), OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::DirectStratification< SetSystem, UInt >::DirectStratification(), OKlib::SetAlgorithms::Subsumption_elimination< ContainerSets, UniquenessTag, OrderTag, SizeTag >::eliminate(), OKlib::InjectivityConstraints::TrivialAllDifferent< PASS >::eval(), Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::eval_status(), OKlib::SearchDataStructures::AssociativePrefixContainer< Range >::first_extension(), OKlib::SearchDataStructures::AssociativePrefixContainer< Range >::first_extension_uniqueness_checked(), OKlib::Satisfiability::Interfaces::InputOutput::HypergraphTwoColouring< SetSystem, CLSAdaptor, Int >::HypergraphTwoColouring(), OKlib::SATCompetition::ResultDatabase< result_iterator_type >::intersection(), Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::invariant(), Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::invariant_false(), OKlib::SATCompetition::LexicographicalEvaluation< IndexedDatabase, SeriesPolicy, NumberType >::LexicographicalEvaluation(), OKlib::SATCompetition::LexicographicalEvaluationRandom< indexed_database >::LexicographicalEvaluationRandom(), main(), OKlib::Combinatorics::Hypergraphs::Generators::Pd_arithmetical_progressions< Int >::next(), Literals::VariableValuePairs< PartialAssignments, SingletonVarSet, InfoPolicyTemplate >::not_invariant(), OKlib::Messages::LanguageName::operator()(), OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Bounded_transversals_bv< SetSystem >::operator()(), OKlib::GraphDecomposition::Width_elimination_sequence< EliminationSequence, Graph >::operator()(), OKlib::SetAlgorithms::Union< vector_iterator, OutputIt >::operator()(), OKlib::Programming::Sequences::Common_part< Range1, Range2, Implementation_common_part_std >::operator()(), OKlib::Matrices::Is_self_dual< Matrix, PermutationsGenerator >::operator()(), OKlib::Programming::Sequences::Common_part_c< Range1, Range2, Implementation_common_part_std >::operator()(), OKlib::GraphDecomposition::Treewidth_by_enumerating_elimination_sequences< Graph >::operator()(), SAT_translation< Graph >::operator()(), OKlib::SetAlgorithms::Intersection< vector_iterator, OutputIt >::operator()(), OKlib::Programming::Sequences::Common_part< Range1, Range2, Implementation_common_part_self >::operator()(), OKlib::Matrices::Is_self_polar< Matrix, PermutationsGenerator >::operator()(), OKlib::Programming::Sequences::Common_part_c< Range1, Range2, Implementation_common_part_self >::operator()(), OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::operator()(), OKlib::Combinatorics::Hypergraphs::Generators::Accumulate_l< V, Num >::operator()(), OKlib::Refactoring::StreamExtractor_by_istream_iterator::operator()(), OKlib::Refactoring::StreamExtractor_by_copy::operator()(), SystemHandling::System::operator()(), OKlib::Refactoring::ExtendIncludeDirectivesTwoRanges< ReferenceRange, WorkingRange, UniquenessPolicy, HandleProgramRepresentation >::operator()(), OKlib::SATCompetition::operator<<(), PartialAssignments::PassViaMap< Variables, Domain >::operator[](), orthogonality_relation(), output_hypergraph(), OKlib::HypergraphColouring::output_vertex_degrees(), Algorithms::pair1_find_if(), Algorithms::pair1_nonself_find_if(), Algorithms::pair1_symmpred_find_if(), Algorithms::pair1_symmpred_nonself_find_if(), OKlib::TestSystem::messages::TestException::print(), OKlib::SATCompetition::LexicographicalEvaluationRandom< indexed_database >::print(), IteratorHandling::range_first(), IteratorHandling::range_second(), OKlib::GeneralInputOutput::BasicCounter< Ch >::read(), OKlib::SATCompetition::ResultDatabase< result_iterator_type >::ResultDatabase(), test_finite_domains(), Tests_General::Helper_VariableDomain::test_order(), test_signring(), OKlib::Satisfiability::Interfaces::InputOutput::GeneralisedHypergraphColouring< SetSystem, Int >::transfer(), OKlib::Refactoring::ExtendIncludeDirectives< APC, UniquenessPolicy >::transform_include_directives(), EndlicherAutomat::Automat::Uebergang(), and OKlib::SetAlgorithms::Subsumption_elimination< ContainerSets, UniquenessTag, OrderTag, SizeTag >::upward().

const int jump = 1000

Definition at line 19 of file Special_update.cpp.

Referenced by main().