Expr_interpreter (kappa-library.Kappa_runtime.Expr

As soon as you've got an graph available, I'll probably prefer use Rule_interpreter.value_*

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.t

value_alg c ?t get_alg get_mix get_tok expr_alg with get_mix [interp1;...;interpn]

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