package kappa-library
Public internals of the Kappa tool suite. Use this package to use kappa as a lib
Install
Dune Dependency
Authors
Maintainers
Sources
v4.1.3.tar.gz
md5=1c9a8a0d79f085757817f90834e166f5
sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3
doc/kappa-library.runtime/Kappa_runtime/Expr_interpreter/index.html
Module Kappa_runtime.Expr_interpreterSource
Algebraic expression computation
As soon as you've got an graph available, I'll probably prefer use Rule_interpreter.value_*
Source
val value_alg :
Counter.t ->
?time:float ->
get_alg:(int -> Kappa_terms.Primitives.alg_expr) ->
get_mix:(Kappa_terms.Pattern.id array list -> Kappa_data_structures.Nbr.t) ->
get_tok:(int -> Kappa_data_structures.Nbr.t) ->
Kappa_terms.Primitives.alg_expr ->
Kappa_data_structures.Nbr.tvalue_alg c ?t get_alg get_mix get_tok expr_alg with get_mix [interp1;...;interpn]
Source
val value_bool :
Counter.t ->
?time:float ->
get_alg:(int -> Kappa_terms.Primitives.alg_expr) ->
get_mix:(Kappa_terms.Pattern.id array list -> Kappa_data_structures.Nbr.t) ->
get_tok:(int -> Kappa_data_structures.Nbr.t) ->
(Kappa_terms.Pattern.id array list, int) Kappa_terms.Alg_expr.bool ->
bool