Module Primitives.Transformation

module Transformation: sig .. end

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 rename : int ->
       Renaming.t ->
       Instantiation.abstract t ->
       Instantiation.abstract t

val concretize : Matching.t * int Mods.IntMap.t ->
       Instantiation.abstract t ->
       Instantiation.concrete t

val print : ?sigs:Signature.s ->
       Format.formatter ->
       Instantiation.abstract t -> unit

val negative_transformations_of_actions : Signature.s ->
       (Instantiation.concrete Instantiation.site ->
        Instantiation.concrete Instantiation.site option) ->
       Instantiation.concrete Instantiation.action list ->
       Instantiation.concrete t list

val positive_transformations_of_actions : 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