Class Eq

bhv/symbolic.py:734–750 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

associative3Function · 0.90

commutative3_1Function · 0.90

commutative3_2Function · 0.90

distributive3Function · 0.90

associativeFunction · 0.90

commutativeFunction · 0.90

idempotentFunction · 0.90

self_inverseFunction · 0.90

involutiveFunction · 0.90

equalsFunction · 0.90

right_unitFunction · 0.90

right_absorbingFunction · 0.90

no outgoing calls

no test coverage detected