arcs icon indicating copy to clipboard operation
arcs copied to clipboard
verified publisher icon PolymerLabs

Translate Paxel expression analysis into Claims.

Open alxmrs opened this issue 5 years ago • 1 comments

Here, I introduce a public deduceClaims function to be used in the InformationFlow module. This translates DependencyNodes found in the ExpressionDependencyAnalyzer into Claim statements.

CC: @piotrswigon @cromwellian

alxmrs avatar Oct 16 '20 21:10 alxmrs

@alxrsngrtn Let us hold off on this PR until we resolve the where expressions. It is possible that the underlying data structures change slightly to take care of where expressions.

bgogul avatar Oct 29 '20 01:10 bgogul