package kappa-library

  1. Overview
  2. Docs

Algebraic expression computation

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

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
OCaml

Innovation. Community. Security.