tiny.pluck.bdd.Bdd

1pub const Bdd = packed struct {2    index: u31,3    complement: bool,45    pub const TRUE = Bdd{ .index = 0, .complement = false };6    pub const FALSE = Bdd{ .index = 0, .complement = true };78    pub fn fromRaw(raw: u32) Bdd {9        return @bitCast(raw);10    }1112    pub fn toRaw(self: Bdd) u32 {13        return @bitCast(self);14    }1516    pub fn neg(self: Bdd) Bdd {17        return Bdd{18            .index = self.index,19            .complement = !self.complement,20        };21    }2223    pub fn isTrue(self: Bdd) bool {24        return self.index == 0 and !self.complement;25    }2627    pub fn isFalse(self: Bdd) bool {28        return self.index == 0 and self.complement;29    }3031    pub fn isConst(self: Bdd) bool {32        return self.index == 0;33    }3435    pub fn toReg(self: Bdd) Bdd {36        return Bdd{ .index = self.index, .complement = false };37    }3839    pub fn format(40        self: Bdd,41        comptime fmt: []const u8,42        options: std.fmt.Options,43        writer: anytype,44    ) !void {45        _ = fmt;46        _ = options;47        if (self.isTrue()) {48            try writer.writeAll("T");49        } else if (self.isFalse()) {50            try writer.writeAll("F");51        } else {52            if (self.complement) {53                try writer.print("!{d}", .{self.index});54            } else {55                try writer.print("{d}", .{self.index});56            }57        }58    }59};