comparison sat/tools/sat_defer.py @ 3234:78fea49735c5

core (memory/persistent): added `aset` method in LazyPersistentBinaryDict: this method does the same as `force` but is there to be consistent with PersistentDict. `force` should be removed in the future.
author Goffi <goffi@goffi.org>
date Fri, 27 Mar 2020 09:53:00 +0100
parents 559a625a236b
children be6d91572633
comparison
equal deleted inserted replaced
3233:8770397f8f82 3234:78fea49735c5