Skip to content

Commit

Permalink
Solve piracies and ambiguities
Browse files Browse the repository at this point in the history
  • Loading branch information
Tortar committed Aug 3, 2024
1 parent d3226fc commit 7247fa2
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 1 deletion.
5 changes: 5 additions & 0 deletions src/QSymbolicsBase/express.jl
Original file line number Diff line number Diff line change
Expand Up @@ -64,6 +64,11 @@ express_nolookup(x, repr::AbstractRepresentation, ::UseAsState) = express_nolook
# where the cache is a distribution over possible samples.
express_from_cache(cache) = cache

function consistent_representation(regs,idx,state)
reprs = Set([r.reprs[i] for (r,i) in zip(regs,idx)])
consistent_representation(reprs,state)
end

"""Pick a representation that is consistent with given representations and appropriate for the given state."""
function consistent_representation(reprs,state)
reprs = Set(reprs)
Expand Down
3 changes: 2 additions & 1 deletion src/QSymbolicsBase/utils.jl
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@

function prefactorscalings(xs)
terms = []
coeff = 1::Any
Expand Down Expand Up @@ -45,4 +46,4 @@ function countmap_flatten(samples, flattenhead)
end
end
counts
end
end

0 comments on commit 7247fa2

Please sign in to comment.