From 0b16299526dc7287b169d1083c1ed53b655181c4 Mon Sep 17 00:00:00 2001 From: Maxime Arthaud Date: Fri, 6 Oct 2023 07:52:04 -0700 Subject: [PATCH] Document default_value_kind in the value interface Summary: I forgot to add proper documentation in D49639410. Reviewed By: arnaudvenet Differential Revision: D50009558 fbshipit-source-id: 7ec2485a620b5505cd087958697cec5e763621f5 --- include/sparta/PatriciaTreeMap.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/include/sparta/PatriciaTreeMap.h b/include/sparta/PatriciaTreeMap.h index 6a07b2a..dac2356 100644 --- a/include/sparta/PatriciaTreeMap.h +++ b/include/sparta/PatriciaTreeMap.h @@ -57,6 +57,9 @@ namespace sparta { * // must be implemented. Additionally, value::type must be an * // implementation of an AbstractDomain. * static bool leq(const type& x, const type& y); + * + * // Whether the default value is top, bottom, or an arbitrary value. + * constexpr static AbstractValueKind default_value_kind; * } * * Patricia trees can only handle unsigned integers. Arbitrary objects can be