always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

transition always use compact tables

Browse Source
This commit is contained in:
lperron@google.com
2013-07-30 02:13:15 +00:00
parent d8e5d9ec3d
commit 5ce1abfada
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/constraint_solver/table.cc
View File

@@ -1045,8 +1045,13 @@ class TransitionConstraint : public Constraint {
tmp_vars.push_back(states[var_index]);
tmp_vars.push_back(vars_[var_index]);
tmp_vars.push_back(states[var_index + 1]);
s->AddConstraint(
s->MakeAllowedAssignments(tmp_vars, transition_table_));
if (transition_table_.NumTuples() < kBitsInUint64) {
s->AddConstraint(s->RevAlloc(new SmallCompactPositiveTableConstraint(
s, tmp_vars, transition_table_)));
} else {
s->AddConstraint(s->RevAlloc(new CompactPositiveTableConstraint(
s, tmp_vars, transition_table_)));
}
}
}