package KaSim
-
KappaLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package KaSim
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type matching = tval empty : tval debug_print : Format.formatter -> t -> unitval reconstruct_renaming :
Pattern.Env.t ->
Edges.t ->
Pattern.id ->
int ->
Renaming.tval reconstruct :
Pattern.Env.t ->
Edges.t ->
t ->
int ->
Pattern.id ->
int ->
t optionval add_cc : t -> int -> Renaming.t -> t optionval is_root_of : Pattern.Env.t -> Edges.t -> Agent.t -> Pattern.id -> boolval roots_of : Pattern.Env.t -> Edges.t -> Pattern.id -> IntCollection.tval elements_with_types :
Pattern.Env.t ->
Pattern.id array ->
t ->
Agent.t list arrayval empty_cache : cacheval observables_from_agent :
Pattern.Env.t ->
Edges.t ->
(((Pattern.id * (int * int)) list * Operator.DepSet.t) * cache) ->
Agent.t ->
((Pattern.id * (int * int)) list * Operator.DepSet.t) * cacheval observables_from_free :
Pattern.Env.t ->
Edges.t ->
(((Pattern.id * (int * int)) list * Operator.DepSet.t) * cache) ->
Agent.t ->
int ->
((Pattern.id * (int * int)) list * Operator.DepSet.t) * cacheval observables_from_internal :
Pattern.Env.t ->
Edges.t ->
(((Pattern.id * (int * int)) list * Operator.DepSet.t) * cache) ->
Agent.t ->
int ->
int ->
((Pattern.id * (int * int)) list * Operator.DepSet.t) * cacheval observables_from_link :
Pattern.Env.t ->
Edges.t ->
(((Pattern.id * (int * int)) list * Operator.DepSet.t) * cache) ->
Agent.t ->
int ->
Agent.t ->
int ->
((Pattern.id * (int * int)) list * Operator.DepSet.t) * cachemodule Agent : sig ... end