Lines Matching defs:Discriminant
13 values: BTreeSet<Discriminant>,
14 previous: Option<Discriminant>,
18 pub struct Discriminant {
38 pub fn insert(&mut self, expr: &Expr) -> Result<Discriminant> {
65 pub fn insert_next(&mut self) -> Result<Discriminant> {
67 None => Discriminant::zero(),
108 fn expr_to_discriminant(expr: &Expr) -> Result<(Discriminant, Option<Atom>)> {
112 let discriminant = lit.base10_parse::<Discriminant>()?;
135 fn insert(set: &mut DiscriminantSet, discriminant: Discriminant) -> Result<Discriminant> {
152 impl Discriminant {
154 Discriminant {
161 Discriminant {
168 Discriminant {
188 Some(Discriminant::zero())
190 Some(Discriminant {
197 Some(magnitude) => Some(Discriminant {
207 impl Display for Discriminant {
216 impl ToTokens for Discriminant {
225 impl FromStr for Discriminant {
236 Ok(magnitude) => Ok(Discriminant { sign, magnitude }),
245 impl Ord for Discriminant {
257 impl PartialOrd for Discriminant {
280 min: Discriminant,
281 max: Discriminant,
298 min: Discriminant::zero(),
299 max: Discriminant::pos(std::u8::MAX as u64),
303 min: Discriminant::neg(std::i8::MIN as i64),
304 max: Discriminant::pos(std::i8::MAX as u64),
308 min: Discriminant::zero(),
309 max: Discriminant::pos(std::u16::MAX as u64),
313 min: Discriminant::neg(std::i16::MIN as i64),
314 max: Discriminant::pos(std::i16::MAX as u64),
318 min: Discriminant::zero(),
319 max: Discriminant::pos(std::u32::MAX as u64),
323 min: Discriminant::neg(std::i32::MIN as i64),
324 max: Discriminant::pos(std::i32::MAX as u64),
328 min: Discriminant::zero(),
329 max: Discriminant::pos(std::u64::MAX),
333 min: Discriminant::neg(std::i64::MIN),
334 max: Discriminant::pos(std::i64::MAX as u64),