feat(small-range): add missing api for kind ExactlyOne (#56)

seahorn · Apr 18, 2023 · f224502 · f224502
1 parent ec3caec
commit f224502
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/include/crab/domains/small_range.hpp b/include/crab/domains/small_range.hpp
@@ -62,6 +62,7 @@ class small_range: public lattice_domain_api<small_range> {
   static small_range bottom();
   static small_range top();
   static small_range zero();
+  static small_range one();
   static small_range oneOrMore();
 
   small_range(const small_range &other) = default;

diff --git a/lib/small_range.cpp b/lib/small_range.cpp
@@ -264,6 +264,7 @@ small_range small_range::meet_one_or_more_with(const small_range &other) const {
 small_range small_range::bottom() { return small_range(Bottom); }
 small_range small_range::top() { return small_range(ZeroOrMore); }
 small_range small_range::zero() { return small_range(ExactlyZero); }
+small_range small_range::one() { return small_range(ExactlyOne); }
 small_range small_range::oneOrMore() { return small_range(OneOrMore); }
 small_range small_range::zeroOrMore() { return small_range(ZeroOrMore); }  
 small_range small_range::make_bottom() const {