summaryrefslogtreecommitdiff
path: root/src/generic/problemresolver/incremental_expression.cc
AgeCommit message (Collapse)AuthorFilesLines
2010-04-20Allow add_child and remove_child to emit value-changed signals even when the ↵Daniel Burrows1-22/+14
child being added or removed is false. This is necessary, since (eg) adding a "false" value to an "and" can change the value of the "and".
2010-04-19Uniformly treat NULL pointers to incremental expressions as incremental ↵Daniel Burrows1-5/+9
expressions that are always "true". I considered trying to optimize by stripping NULLs out of "and" and "or" expressions, but that seems a bit tricky. It might be more straightforward if I introduce "true" and "false" expressions explicitly, though (part of the trouble is that it's probably bad if creation routines return NULL, and they can't currently return false).
2009-06-03Fix how AND/OR expressions are initialized in the incremental expression code.Daniel Burrows1-1/+2
The code was assuming that all the subexpressions started out "true", instead of actually examining their values. That made it look like every choice was deferred --> no solutions. There are still no solutions, but hopefully the reason is different.
2009-05-26Use the new box_expression to implement not_e.Daniel Burrows1-2/+2
2009-05-22Add support for dumping incremental expression trees.Daniel Burrows1-0/+15
Current values aren't dumped at the moment.
2009-05-17Commit a non-working, incomplete iteration of the incremental rewrite of the ↵Daniel Burrows1-0/+109
resolver. I don't normally commit broken code, but this is a huge rewrite, and I'd hate to lose it if my hard drive blew up.