Module `Primitives.Transformation`

Elementary rule transformations

type 'a t = | Agent of 'a | Freed of 'a Instantiation.site | Linked of 'a Instantiation.site * 'a Instantiation.site | NegativeWhatEver of 'a Instantiation.site | PositiveInternalized of 'a * Instantiation.site_name * Instantiation.internal_state | NegativeInternalized of 'a Instantiation.site

val map_agent : ('a -> 'b) -> 'a t -> 'b t
val fold_agent : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
val map_fold_agent : ('a -> 'b -> 'c * 'b) -> 'a t -> 'b -> 'c t * 'b
val equal : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
val rename : debugMode:bool -> int -> Kappa_generic_toolset.Renaming.t -> Instantiation.abstract t -> Instantiation.abstract t
val concretize : debugMode:bool -> (Matching.t * int Kappa_generic_toolset.Mods.IntMap.t) -> Instantiation.abstract t -> Instantiation.concrete t
val print : ?⁠sigs:Kappa_mixtures.Signature.s -> Format.formatter -> Instantiation.abstract t -> unit
val negative_transformations_of_actions : Kappa_mixtures.Signature.s -> (Instantiation.concrete Instantiation.site -> Instantiation.concrete Instantiation.site option) -> Instantiation.concrete Instantiation.action list -> Instantiation.concrete t list: negative_transformation_of_actions signature link_dst actions

val positive_transformations_of_actions : Kappa_mixtures.Signature.s -> Instantiation.concrete Instantiation.site list -> Instantiation.concrete Instantiation.action list -> Instantiation.concrete t list: positive_transformations_of_actions signature side_effect_dsts actions