python-type-stubs/stubs/sympy-stubs/logic/boolalg.pyi at 2ddeaee904b5fcfebc4ed4a0614dfd87bfbe1bb6 · microsoft/python-type-stubs · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
from collections.abc import Generator
from typing import Any, Literal
from typing_extensions import Self

from sympy.core.basic import Basic
from sympy.core.cache import cacheit
from sympy.core.decorators import sympify_method_args, sympify_return
from sympy.core.function import Application, Derivative
from sympy.core.operations import LatticeOp
from sympy.core.relational import Eq, Ne
from sympy.core.singleton import Singleton
from sympy.core.symbol import Symbol

def as_Boolean(e) -> BooleanTrue | BooleanFalse | Symbol | Boolean: ...

@sympify_method_args
class Boolean(Basic):
    __slots__ = ...
    kind = ...
    @sympify_return([("other", "Boolean")], NotImplemented)
    def __and__(self, other) -> And: ...

    __rand__ = ...
    @sympify_return([("other", "Boolean")], NotImplemented)
    def __or__(self, other) -> Or: ...

    __ror__ = ...
    def __invert__(self) -> Not: ...
    @sympify_return([("other", "Boolean")], NotImplemented)
    def __rshift__(self, other) -> Implies: ...
    @sympify_return([("other", "Boolean")], NotImplemented)
    def __lshift__(self, other) -> Implies: ...

    __rrshift__ = ...
    __rlshift__ = ...
    @sympify_return([("other", "Boolean")], NotImplemented)
    def __xor__(self, other) -> BooleanFalse | Not | Xor: ...

    __rxor__ = ...
    def equals(self, other) -> bool: ...
    def to_nnf(self, simplify=...) -> Self: ...
    def as_set(self): ...
    @property
    def binary_symbols(self) -> set[Any | Basic]: ...

class BooleanAtom(Boolean):
    is_Boolean = ...
    is_Atom = ...
    _op_priority = ...
    def simplify(self, *a, **kw) -> Self: ...
    def expand(self, *a, **kw) -> Self: ...
    @property
    def canonical(self) -> Self: ...

    __add__ = ...
    __radd__ = ...
    __sub__ = ...
    __rsub__ = ...
    __mul__ = ...
    __rmul__ = ...
    __pow__ = ...
    __rpow__ = ...
    __truediv__ = ...
    __rtruediv__ = ...
    __mod__ = ...
    __rmod__ = ...
    _eval_power = ...
    def __lt__(self, other) -> bool: ...

    __le__ = ...
    __gt__ = ...
    __ge__ = ...

class BooleanTrue(BooleanAtom, metaclass=Singleton):
    def __bool__(self) -> Literal[True]: ...
    def __hash__(self) -> int: ...
    def __eq__(self, other) -> bool: ...
    @property
    def negated(self) -> BooleanFalse: ...
    def as_set(self): ...

class BooleanFalse(BooleanAtom, metaclass=Singleton):
    def __bool__(self) -> Literal[False]: ...
    def __hash__(self) -> int: ...
    def __eq__(self, other) -> bool: ...
    @property
    def negated(self) -> BooleanTrue: ...
    def as_set(self): ...

true = ...
false = ...

class BooleanFunction(Application, Boolean):
    is_Boolean = ...
    def simplify(self, **kwargs): ...
    def __lt__(self, other) -> bool: ...

    __le__ = ...
    __ge__ = ...
    __gt__ = ...
    @classmethod
    def binary_check_and_simplify(cls, *args) -> list[Any | BooleanTrue | Basic | BooleanFalse | Symbol | Boolean]: ...
    def to_nnf(self, simplify=...) -> Self: ...
    def to_anf(self, deep=...) -> Self: ...
    def diff(self, *symbols, **assumptions) -> Derivative: ...

class And(LatticeOp, BooleanFunction):
    zero = ...
    identity = ...
    nargs = ...
    def to_anf(self, deep=...) -> Self: ...

class Or(LatticeOp, BooleanFunction):
    zero = ...
    identity = ...
    def to_anf(self, deep=...) -> BooleanFalse | Not | Xor: ...

class Not(BooleanFunction):
    is_Not = ...
    @classmethod
    def eval(cls, arg) -> BooleanFalse | BooleanTrue | None: ...
    def to_nnf(self, simplify=...) -> Self | Or | And: ...
    def to_anf(self, deep=...) -> Xor: ...

class Xor(BooleanFunction):
    def __new__(cls, *args, remove_true=..., **kwargs) -> BooleanFalse | Not | Self: ...
    @property
    @cacheit
    def args(self) -> tuple[Any, ...]: ...
    def to_nnf(self, simplify=...) -> And: ...

class Nand(BooleanFunction):
    @classmethod
    def eval(cls, *args) -> Not: ...

class Nor(BooleanFunction):
    @classmethod
    def eval(cls, *args) -> Not: ...

class Xnor(BooleanFunction):
    @classmethod
    def eval(cls, *args) -> Not: ...

class Implies(BooleanFunction):
    @classmethod
    def eval(cls, *args) -> Or | BooleanTrue | Self | None: ...
    def to_nnf(self, simplify=...) -> Or: ...
    def to_anf(self, deep=...) -> Xor: ...

class Equivalent(BooleanFunction):
    def __new__(cls, *args, **options) -> BooleanFalse | BooleanTrue | And | Self: ...
    @property
    @cacheit
    def args(self) -> tuple[Any, ...]: ...
    def to_nnf(self, simplify=...) -> And: ...
    def to_anf(self, deep=...) -> Xor: ...

class ITE(BooleanFunction):
    def __new__(cls, *args, **kwargs) -> Self | Not | Basic | Ne | Eq: ...
    @classmethod
    def eval(cls, *args) -> Not | Basic | Ne | Eq | Self | None: ...
    def to_nnf(self, simplify=...) -> And: ...

class Exclusive(BooleanFunction):
    @classmethod
    def eval(cls, *args) -> And: ...

def conjuncts(expr) -> frozenset[Any]: ...
def disjuncts(expr) -> frozenset[Any]: ...
def distribute_and_over_or(expr): ...
def distribute_or_over_and(expr): ...
def distribute_xor_over_and(expr): ...
def to_anf(expr, deep=...): ...
def to_nnf(expr, simplify=...): ...
def to_cnf(expr, simplify=..., force=...) -> BooleanFunction: ...
def to_dnf(expr, simplify=..., force=...) -> BooleanFunction: ...
def is_anf(expr) -> bool: ...
def is_nnf(expr, simplified=...) -> bool: ...
def is_cnf(expr) -> bool: ...
def is_dnf(expr) -> bool: ...
def eliminate_implications(expr): ...
def is_literal(expr) -> bool: ...
def to_int_repr(clauses, symbols) -> list[set[Any]]: ...
def term_to_integer(term) -> int: ...

integer_to_term = ...

def truth_table(
    expr, variables, input=...
) -> Generator[tuple[list[Literal[0, 1]], Any | BooleanFunction] | Any | BooleanFunction, Any, None]: ...
def SOPform(variables, minterms, dontcares=...) -> BooleanFalse | Or: ...
def POSform(variables, minterms, dontcares=...) -> BooleanFalse | And: ...
def ANFform(variables, truthvalues) -> BooleanFalse | Not | Xor: ...
def anf_coeffs(truthvalues) -> list[Any]: ...
def bool_minterm(k, variables) -> And: ...
def bool_maxterm(k, variables) -> Or: ...
def bool_monomial(k, variables) -> BooleanTrue | And: ...
def simplify_logic(expr, form=..., deep=..., force=..., dontcare=...): ...
def bool_map(bool1, bool2) -> tuple[Any, dict[Any, Any]] | dict[Any, Any] | Literal[False] | None: ...
def simplify_univariate(expr) -> BooleanFunction | BooleanFalse | Or: ...

BooleanGates = ...

def gateinputcount(expr) -> int: ...