SymBool

class tensorplay.SymBool

expect_bool(self: tensorplay._C.SymBool) → bool

guard_bool(self: tensorplay._C.SymBool, file: str = '', line: SupportsInt | SupportsIndex = 0) → bool

guard_or_false(self: tensorplay._C.SymBool, file: str = '', line: SupportsInt | SupportsIndex = 0) → bool

guard_or_true(self: tensorplay._C.SymBool, file: str = '', line: SupportsInt | SupportsIndex = 0) → bool

guard_size_oblivious(self: tensorplay._C.SymBool, file: str = '', line: SupportsInt | SupportsIndex = 0) → bool

has_hint(self: tensorplay._C.SymBool) → bool

is_symbolic(self: tensorplay._C.SymBool) → bool

maybe_as_bool(self: tensorplay._C.SymBool) → bool | None

statically_known_true(self: tensorplay._C.SymBool, file: str = '', line: SupportsInt | SupportsIndex = 0) → bool

sym_and(self: tensorplay._C.SymBool, arg0: tensorplay._C.SymBool) → tensorplay._C.SymBool

sym_not(self: tensorplay._C.SymBool) → tensorplay._C.SymBool

sym_or(self: tensorplay._C.SymBool, arg0: tensorplay._C.SymBool) → tensorplay._C.SymBool

sym_xor(self: tensorplay._C.SymBool, arg0: tensorplay._C.SymBool) → tensorplay._C.SymBool

static symbolic(name: str, hint: bool | None = None) → tensorplay._C.SymBool

to_sym_float(self: tensorplay._C.SymBool) → tensorplay._C.SymFloat

to_sym_int(self: tensorplay._C.SymBool) → tensorplay._C.SymInt