sig
val normalize_species :
?parameters:Remanent_parameters_sig.parameters ->
sigs:Signature.s ->
LKappa_auto.cache ->
Pattern.PreEnv.t ->
int Symmetries_sig.site_partition array ->
Pattern.cc -> LKappa_auto.cache * Pattern.PreEnv.t * Pattern.cc
val is_pattern_invariant_internal_states_permutation :
?parameters:Remanent_parameters_sig.parameters ->
env:Model.t ->
agent_type:int ->
site1:int ->
site2:int -> Pattern.id -> LKappa_auto.cache -> LKappa_auto.cache * bool
val is_pattern_invariant_binding_states_permutation :
?parameters:Remanent_parameters_sig.parameters ->
env:Model.t ->
agent_type:int ->
site1:int ->
site2:int -> Pattern.id -> LKappa_auto.cache -> LKappa_auto.cache * bool
val is_pattern_invariant_full_states_permutation :
?parameters:Remanent_parameters_sig.parameters ->
env:Model.t ->
agent_type:int ->
site1:int ->
site2:int -> Pattern.id -> LKappa_auto.cache -> LKappa_auto.cache * bool
val equiv_class_of_a_pattern :
?parameters:Remanent_parameters_sig.parameters ->
env:Model.t ->
partitions_internal_states:(int -> int list list) ->
partitions_binding_states:(int -> int list list) ->
partitions_full_states:(int -> int list list) ->
LKappa_auto.cache ->
Pattern.PreEnv.t ->
bool Mods.DynArray.t ->
Pattern.id ->
LKappa_auto.cache * Pattern.PreEnv.t * bool Mods.DynArray.t *
(Pattern.id * int) list
val equiv_class_of_a_species :
?parameters:Remanent_parameters_sig.parameters ->
sigs:Signature.s ->
partitions_internal_states:(int -> int list list) ->
partitions_binding_states:(int -> int list list) ->
partitions_full_states:(int -> int list list) ->
LKappa_auto.cache ->
Pattern.PreEnv.t ->
bool Mods.DynArray.t ->
Pattern.cc ->
LKappa_auto.cache * Pattern.PreEnv.t * bool Mods.DynArray.t *
Pattern.cc list
end