Returns the set of possible values after applying the `is unknown` test on all values in this set. The resulting set can only contain 'TRUE' and/or 'FALSE', never 'UNKNOWN'.
(&self)
| 1915 | /// values in this set. |
| 1916 | /// The resulting set can only contain 'TRUE' and/or 'FALSE', never 'UNKNOWN'. |
| 1917 | pub fn is_unknown(&self) -> Result<Self> { |
| 1918 | let (t, f, u) = self.is_true_false_unknown()?; |
| 1919 | |
| 1920 | match (t, f, u) { |
| 1921 | (false, false, true) => Ok(Self::TRUE), |
| 1922 | (_, _, true) => Ok(Self::TRUE_OR_FALSE), |
| 1923 | (_, _, false) => Ok(Self::FALSE), |
| 1924 | } |
| 1925 | } |
| 1926 | |
| 1927 | /// Returns a tuple of booleans indicating if this interval contains the |
| 1928 | /// true, false, and unknown truth values respectively. |