Searched refs:binary_symbols (Results 1 – 8 of 8) sorted by relevance
42 def binary_symbols(self): member in Contains43 return set().union(*[i.binary_symbols
160 def binary_symbols(self): member in AppliedPredicate165 return i.binary_symbols
33 ).binary_symbols == {y, z}
1006 assert f(x, 1).binary_symbols == set()1007 assert f(x, True).binary_symbols == {x}1008 assert f(x, False).binary_symbols == {x}1009 assert S.true.binary_symbols == set()1010 assert S.false.binary_symbols == set()1011 assert x.binary_symbols == {x}1013 assert Q.prime(x).binary_symbols == set()1014 assert Q.lt(x, 1).binary_symbols == set()1015 assert Q.is_true(x).binary_symbols == {x}1016 assert Q.eq(x, True).binary_symbols == {x}[all …]
416 def binary_symbols(self): member in Relational553 def binary_symbols(self): member in Equality665 def binary_symbols(self): member in Unequality
348 binary_symbols = free_symbols # in this case, not always variable in Symbol
176 def binary_symbols(self): member in Boolean178 return set().union(*[i.binary_symbols for i in self.args465 bin_syms = set().union(*[i.binary_symbols for i in args])528 if x in self.binary_symbols:1467 bin_syms = set().union(*[i.binary_symbols for i in (b, c)])
1002 assert eq.binary_symbols == ans1003 assert eq.reversed.binary_symbols == ans1004 assert f(x, 1).binary_symbols == set()