Searched refs:UpdateRuleStats (Results 1 – 8 of 8) sorted by relevance
1037 context_->UpdateRuleStats(1193 context_->UpdateRuleStats(1209 context_->UpdateRuleStats(2453 context_->UpdateRuleStats(2905 context_->UpdateRuleStats(3893 context_->UpdateRuleStats(4783 context_->UpdateRuleStats(4821 context_->UpdateRuleStats(4869 context_->UpdateRuleStats(4874 context_->UpdateRuleStats([all …]
145 context->UpdateRuleStats("reservoir: expanded"); in ExpandReservoir()211 context->UpdateRuleStats("int_mod: expanded"); in ExpandIntMod()359 context->UpdateRuleStats("inverse: expanded"); in ExpandInverse()390 context->UpdateRuleStats( in ExpandElementWithTargetEqualIndex()488 context->UpdateRuleStats("element: expanded"); in ExpandVariableElement()926 context->UpdateRuleStats("automaton: expanded"); in ExpandAutomaton()1150 context->UpdateRuleStats("table: empty"); in ExpandPositiveTable()1181 context->UpdateRuleStats( in ExpandPositiveTable()1215 context->UpdateRuleStats("table: one tuple"); in ExpandPositiveTable()1223 context->UpdateRuleStats( in ExpandPositiveTable()[all …]
782 UpdateRuleStats("variables: canonicalize domain"); in CanonicalizeVariable()860 UpdateRuleStats("variables: canonicalize affine domain"); in CanonicalizeAffineVariable()881 UpdateRuleStats("affine: fixed"); in StoreAffineRelation()887 UpdateRuleStats("affine: fixed"); in StoreAffineRelation()910 UpdateRuleStats("affine: unique solution"); in StoreAffineRelation()949 UpdateRuleStats("affine: created common representative"); in StoreAffineRelation()1014 UpdateRuleStats("affine: new relation"); in StoreAffineRelation()1240 UpdateRuleStats("variables with 2 values: fixed encoding"); in CanonicalizeDomainOfSizeTwo()1286 UpdateRuleStats( in InsertVarValueEncodingInternal()1304 UpdateRuleStats("variables: add encoding constraint"); in InsertVarValueEncodingInternal()[all …]
621 context->UpdateRuleStats("dual: fix variable"); in Strengthen()631 context->UpdateRuleStats("dual: fix variable"); in Strengthen()671 context->UpdateRuleStats("dual: reduced domain"); in Strengthen()697 context->UpdateRuleStats("TODO dual: tighten at most one"); in Strengthen()733 context->UpdateRuleStats("dual: enforced equivalence"); in Strengthen()995 context->UpdateRuleStats("domination: in implication"); in ExploitDominanceRelations()1007 context->UpdateRuleStats("domination: in implication"); in ExploitDominanceRelations()1039 context->UpdateRuleStats("domination: in at most one"); in ExploitDominanceRelations()1119 context->UpdateRuleStats("domination: fixed to lb."); in ExploitDominanceRelations()1153 context->UpdateRuleStats("domination: reduced ub."); in ExploitDominanceRelations()[all …]
786 context->UpdateRuleStats("symmetry: fixed to false in general orbit"); in DetectAndExploitSymmetriesInPresolve()793 context->UpdateRuleStats( in DetectAndExploitSymmetriesInPresolve()917 context->UpdateRuleStats( in DetectAndExploitSymmetriesInPresolve()956 context->UpdateRuleStats("symmetry: all equivalent in orbit"); in DetectAndExploitSymmetriesInPresolve()971 context->UpdateRuleStats( in DetectAndExploitSymmetriesInPresolve()999 context->UpdateRuleStats("symmetry: fixed to false"); in DetectAndExploitSymmetriesInPresolve()1002 context->UpdateRuleStats("symmetry: fixed to true"); in DetectAndExploitSymmetriesInPresolve()1037 context->UpdateRuleStats("symmetry: added symmetry breaking inequality"); in DetectAndExploitSymmetriesInPresolve()
205 void UpdateRuleStats(const std::string& name, int num_times = 1);
101 UpdateRuleStats("bool2int: rename to int_eq"); in PresolveBool2Int()105 UpdateRuleStats("bool2int: merge boolean and integer variables."); in PresolveBool2Int()125 UpdateRuleStats("int_lin_eq: store affine mapping"); in PresolveStoreAffineMapping()128 UpdateRuleStats("int_lin_eq: store affine mapping"); in PresolveStoreAffineMapping()144 UpdateRuleStats("int_lin_eq: store 2d flattening mapping"); in PresolveStoreFlatteningMapping()149 UpdateRuleStats("int_lin_eq: store 2d flattening mapping"); in PresolveStoreFlatteningMapping()154 UpdateRuleStats("int_lin_eq: store 2d flattening mapping"); in PresolveStoreFlatteningMapping()159 UpdateRuleStats("int_lin_eq: store 2d flattening mapping"); in PresolveStoreFlatteningMapping()277 UpdateRuleStats("array_int_element: rewrite as a 2d element"); in PresolveSimplifyElement()297 UpdateRuleStats("array_int_element: reduce array"); in PresolveSimplifyElement()[all …]
102 void UpdateRuleStats(const std::string& rule_name) { in UpdateRuleStats() function