- changed status to resolved
If both x and x2 are variables, they will certainly be ground when they atomgrounder reaches them. In isTwoValued check?
If both x and x2 are variables, they will certainly be ground when they atomgrounder reaches them. In isTwoValued check?
Fixes
#265: Performance bugfix: unnest less.Terms which are in fact two-valued should in most cases not be unnested during graphing (except during symbolc propagation ...)
→ <<cset 4ddc99020e2b>>