Wiki
Clone wikisymja_android_library / Symbols / OneIdentity
OneIdentity
The OneIdentity
attribute is set for one identity function symbols (i.e. Plus(a) -> a; Times(a) -> a)
Updated
The OneIdentity
attribute is set for one identity function symbols (i.e. Plus(a) -> a; Times(a) -> a)
Updated