package catala
Low-level language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.0.tar.gz
md5=4a2c5495f30d8fc2e3bf977df6e602f9
sha512=8dcc404b6068b9dbd76982ade60d8fba1950fdd0a8a626db17429120483367dce1f51997e96d7b8ee5308f305c3bcbb897ef85336f25e9ef3681f4cb9237f56a
doc/catala.desugared/Desugared/Dependency/index.html
Module Desugared.DependencySource
Scope dependencies computations using OCamlgraph
Scope variables dependency graph
Graph declaration
Vertices: scope variables or subscopes.
The vertices of the scope dependency graph are either :
- the variables of the scope ;
- the subscopes of the scope.
Indeed, during interpretation, subscopes are executed atomically.
On the edges, the label is the position of the expression responsible for the use of the variable. In the graph, x -> y if x is used in the definition of y.
Module of the graph, provided by OCamlGraph
Graph computations
Returns an ordering of the scope variables and subscope compatible with the dependencies of the computation
Returns an ordering of the scope variables and subscope compatible with the dependencies of the computation
Outputs an error in case of cycles.
Builds the dependency graph of a particular scope
Exceptions dependency graph
Source
module ExceptionsDependencies :
Graph.Sig.P with type V.t = Ast.RuleName.t and type E.label = Edge.tSource
val build_exceptions_graph :
Ast.rule Ast.RuleMap.t ->
Ast.ScopeDef.t ->
ExceptionsDependencies.t