9 commits

Author	SHA1	Message	Date
Simon Cruanes	5141f05e6d	fix(union-find): keep values and representative in consistent order ... the merge handlers should be called with r1,r2,v1,v2 or r2,r1,v2,v1 but not a mix	2018-08-17 14:58:44 -05:00
Bruce Mitchener	7167fda1dc	Use override rather than virtual.	2018-02-10 09:56:33 +07:00
Nikolaj Bjorner	2e6ae8cfd2	fix crash ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2017-11-15 23:06:05 -08:00
Nikolaj Bjorner	b19f94ae5b	make include paths uniformly use path relative to src. #534 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2017-07-31 13:24:11 -07:00
Nikolaj Bjorner	4bc044c982	update header guards to be C++ style. Fixes issue #9 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2015-07-08 23:18:40 -07:00
Nikolaj Bjorner	f100d4feda	hoist out basic union find ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2015-05-21 11:10:42 -07:00
Nikolaj Bjorner	4e686693ee	add declaration for w ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2014-10-06 08:39:48 -07:00
Nikolaj Bjorner	60d7872cc8	adding simple BCE ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2014-09-29 18:00:34 -07:00
Nikolaj Bjorner	989569b154	add bceq experiment ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2014-09-29 10:57:31 -07:00

Renamed from src/smt/union_find.h (Browse further)