Index of types


A
abstract [Navigation]
abstract [Instantiation]
in a rule
action [Ckappa_sig]
action [Instantiation]
actions [Cckappa_sig]
aff_combination [Affine_combinations]
agent [Cckappa_sig]
agent [Ckappa_sig]
agent [Ast]
agent [Raw_mixture]
agent_dic [Ckappa_sig]
agent_mod [Ast]
agent_name [Ckappa_sig]
agent_name [Instantiation]
agent_sig [Cckappa_sig]
agent_specification [Ckappa_sig]
alg_expr [Primitives]
annot [Locality]
arity [Rule_modes]
arrow [Navigation]
arrow_notation [Ast]
ast [Ode_interface_sig.Interface]

B
bidirectional_influence_map [Export_to_KaSa.Type]
bin_alg_op [Operator]
bin_bool_op [Operator]
binary [Static_contact_map_domain.Domain]
binary [Composite_domain.Composite_domain]
binary [Analyzer_domain_sig.Domain]
binary [Mvbdu_wrapper.Mvbdu]
binary [Utilities]
binary [Int_storage]
binary_no_output [Int_storage]
binding_state [Ckappa_sig]
binding_state [Instantiation]
binding_type [Instantiation]
black_list [Utilities]
bond [Cckappa_sig]
bool [Alg_expr]
bot_or_not [Usual_domains]
bwd_bisim_info [LKappa_group_action]

C
c_agent [Ckappa_sig]
c_agent_id [Ckappa_sig]
c_agent_name [Ckappa_sig]
c_binding_state [Ckappa_sig]
c_bond [Ckappa_sig]
c_compil [Ckappa_sig]
c_compilation [Export_to_KaSa.Type]
c_interface [Ckappa_sig]
c_link_value [Ckappa_sig]
c_mixture [Ckappa_sig]
c_modif_expr [Ckappa_sig]
c_perturbation [Ckappa_sig]
c_port [Ckappa_sig]
c_proper_agent [Ckappa_sig]
c_rule [Ckappa_sig]
c_rule_id [Ckappa_sig]
c_site_name [Ckappa_sig]
c_state [Ckappa_sig]
c_variable [Ckappa_sig]
cache [Symmetries]
cache [Ode_interface_sig.Interface]
cache [Matching]
canonic_species [Ode_interface_sig.Interface]
canonical_form [Utilities]
Cannonic forms
cc [Pattern]
cc_node [User_graph]
cc_port [User_graph]
cc_site [User_graph]
cflow_grid [Utilities]
chemical_species [Ode_interface_sig.Interface]
command [Ast]
compare_op [Operator]
compil [Cckappa_sig]
compil [Ckappa_sig]
compil [Ode_interface_sig.Interface]
compil [Ast]
compilation_result [Analyzer_headers]
concrete [Instantiation]
in a simulation state
configuration [Ast]
connected_component [Ode_interface_sig.Interface]
connected_component [User_graph]
connected_component_id [Odes.Make]
constant [Mvbdu_wrapper.Mvbdu]
contact_map [Export_to_KaSa.Type]
contact_map [Export_to_KaSim.Type]
correct [Ode_loggers]
corrected_rate_const [Alg_expr_extra]
counter [Ast]
counter_test [Ast]
ctmc_flow [Export_to_KaSa.Type]

D
diff_views [Cckappa_sig]
dimension [Int_storage.Storage]
din [Data]
din_data [Data]
din_kind [Primitives]
direction [Ckappa_sig]
direction [Rule_modes]
dynamic_information [Static_contact_map_domain.Domain]
dynamic_information [Composite_domain.Composite_domain]
dynamic_information [Analyzer_domain_sig.Domain]
dynamic_information [Analyzer.Analyzer]

E
e [Alg_expr]
edit_notation [Ast]
elementary_rule [Primitives]
If unary_rate is Some _, rate means binary rate.
elt [SetMap.Map]
elt [SetMap.Set]
elt [SetMap.S]
elt_a [SetMap.Projection2]
elt_a [SetMap.Projection]
elt_b [SetMap.Projection2]
elt_b [SetMap.Projection]
elt_c [SetMap.Projection2]
embedding [Ode_interface_sig.Interface]
embedding_forest [Ode_interface_sig.Interface]
encoding [Loggers]
enriched_cflow_grid [Utilities]
enriched_init [Cckappa_sig]
enriched_init [Ckappa_sig]
enriched_rule [Cckappa_sig]
enriched_rule [Ckappa_sig]
enriched_rule [Odes.Make]
enriched_variable [Cckappa_sig]
equivalence_classes [Symmetries]
error_log [Utilities]
errors [Export_to_KaDE.Type]
errors [Export_to_KaSa.Type]
event [Communication]
event [Instantiation]
event_kind [Trace]

F
file_line [Data]
flat_lattice [Usual_domains]
fold [Communication]

G
global_dynamic_information [Analyzer_headers]
global_static_information [Analyzer_headers]

H
handler [Export_to_KaDE.Type]
handler [Export_to_KaSa.Type]
handler [Mvbdu_wrapper.Internalized_mvbdu]
handler [Mvbdu_wrapper.Mvbdu]
hconsed_association_list [Mvbdu_wrapper.Internalized_mvbdu]
hconsed_association_list [Mvbdu_wrapper.Mvbdu]
hconsed_range_list [Mvbdu_wrapper.Internalized_mvbdu]
hconsed_range_list [Mvbdu_wrapper.Mvbdu]
hconsed_renaming_list [Mvbdu_wrapper.Internalized_mvbdu]
hconsed_renaming_list [Mvbdu_wrapper.Mvbdu]
hconsed_variables_list [Mvbdu_wrapper.Internalized_mvbdu]
hconsed_variables_list [Mvbdu_wrapper.Mvbdu]

I
id [Pattern]
in_progress [Build_graph]
incr_t [Raw_mixture]
init [Ode_interface_sig.Interface]
init_statment [Ast]
init_t [Ast]
initial_state [Analyzer_headers]
instruction [Ast]
interface [Cckappa_sig]
interface [Ckappa_sig]
internal [Ckappa_sig]
internal [Ast]
internal [Raw_mixture]
internal_constraints_list [Export_to_KaSa.Type]
internal_contact_map [Export_to_KaSa.Type]
internal_influence_map [Export_to_KaSa.Type]
internal_scc_decomposition [Export_to_KaSa.Type]
internal_state [Ckappa_sig]
internal_state [Instantiation]
internal_state_specification [Ckappa_sig]
interval [Cckappa_sig]
interval [Ckappa_sig]

K
kappa_handler [Cckappa_sig]
kappa_handler [Ckappa_sig]
kappa_handler [Utilities]
kasa_state [Analyzer_headers]
key [Mvbdu_wrapper.Internalized_mvbdu]
key [Mvbdu_wrapper.Mvbdu]
key [ValMap]
key [Int_storage.Storage]

L
level [Priority]
link [Ckappa_sig]
link [Ast]
link [Raw_mixture]
link [Pattern]
local_dynamic_information [Static_contact_map_domain.Domain]
local_dynamic_information [Analyzer_domain_sig.Domain]

M
map_a [SetMap.Projection2]
map_a [SetMap.Projection]
map_b [SetMap.Projection2]
map_b [SetMap.Projection]
map_c [SetMap.Projection2]
matching [Matching]
maybe [Locality]
maybe_bool [Usual_domains]
mixture [Cckappa_sig]
mixture [Ckappa_sig]
mixture [Ode_interface_sig.Interface]
mixture [Ast]
modif_expr [Cckappa_sig]
modif_expr [Ckappa_sig]
modif_expr [Ast]
modification [Primitives]
musical_grid [Utilities]
Blackboard with debugging utilities
mvbdu [Mvbdu_wrapper.Internalized_mvbdu]
mvbdu [Mvbdu_wrapper.Mvbdu]

N
network [Odes.Make]

O
observable_hit [Utilities]
ode_flow [Export_to_KaSa.Type]
ode_var_id [Odes.Make]
on_the_fly_cut_state [Utilities]
options [Ode_loggers]
output [Communication]

P
pair_of_states [Ckappa_sig]
parameter [Utilities]
parameters [Export_to_KaDE.Type]
parameters [Export_to_KaSa.Type]
parsing_compil [Ast]
parsing_instruction [Ast]
path [Communication]
path [Edges]
path_defined_in [Communication]
path_in_pattern [Communication]
pattern [Ode_interface_sig.Interface]
pattern_matching_flag [Analyzer_headers]
period [Counter]
perturbation [Cckappa_sig]
perturbation [Ckappa_sig]
perturbation [Ast]
perturbation [Primitives]
pervasives_bool [Alg_expr]
plot [Data]
point [Pattern.Env]
port [Cckappa_sig]
port [Ckappa_sig]
port [Navigation]
port [Ast]
position [Ckappa_sig]
position [Locality]
precondition [Communication]
prefold [Communication]
preprocessed_ast [Ode_interface_sig.Interface]
print_expr [Primitives]
priorities [Priority]
profiling_info [Utilities]
progressBar [Counter]
proper_agent [Cckappa_sig]

Q
quaternary [Utilities]
quaternary [Int_storage]
quinternary [Utilities]

R
range [Locality]
reachability_analysis [Export_to_KaSa.Type]
reduction [Symmetries]
rev_dep [Operator]
rule [Cckappa_sig]
rule [Ckappa_sig]
rule [Ode_interface_sig.Interface]
rule [LKappa]
rule [Ast]
rule_agent [LKappa]
A representation of 'left-hand-side' agent that stores how everything is transformed.
rule_agent_counters [LKappa]
rule_content [Ast]
rule_id [Odes.Make]
rule_id [Ode_interface_sig.Interface]
rule_id_with_mode [Ode_interface_sig.Interface]
rule_internal [LKappa]
rule_mixture [LKappa]
rule_name [Ode_interface_sig.Interface]

S
s [Signature]
Store of all the agents
secret_log_info [Compression_main]
secret_parameter [Compression_main]
selection_strategy [Priority]
set [SetMap.Map]
set_a [SetMap.Projection]
set_b [SetMap.Projection]
sexternary [Utilities]
shall_we [Utilities]
side [Ode_loggers]
site [Cckappa_sig]
site [Ckappa_sig]
site [User_graph]
site [Ast]
site [Instantiation]
site_address [Cckappa_sig]
site_address [Ckappa_sig]
site_dic [Ckappa_sig]
site_list [Ckappa_sig]
site_name [Ckappa_sig]
site_name [Instantiation]
site_partition [Symmetries_sig]
site_type [Ckappa_sig]
site_working_list [Communication]
snapshot [Data]
stat [Pattern.PreEnv]
state [Export_to_KaDE.Type]
state [Export_to_json.Type]
state [Export_to_KaSa.Type]
state [Export_to_KaSim.Type]
state [Ckappa_sig]
state [Replay]
state' [Ckappa_sig]
state_alg_op [Operator]
state_dic [Cckappa_sig]
state_dic [Ckappa_sig]
static_information [Static_contact_map_domain.Domain]
static_information [Composite_domain.Composite_domain]
static_information [Analyzer_domain_sig.Domain]
static_information [Analyzer.Analyzer]
stats [Edges]
step [Communication]
step [Trace]
step [Navigation]
store [Pp_svg]
story_table [Utilities]
Story table
summary [Replay]
switching [LKappa]
symmetries [Symmetries]
syntax_version [Ast]

T
t [Communication.PathMap]
t [Ode_interface_sig.Interface.ObsMap]
t [State_interpreter]
Abstract state
t [Trace.Simulation_info]
type of data to be given with observables for story compression (such as date when the obs is triggered
t [Trace]
t [Data]
t [Counter.Efficiency]
t [Counter]
t [Progress_report]
t [Edges]
t [Navigation]
t [Configuration]
t [Model]
t [Primitives.Transformation]
t [Raw_mixture]
t [Matching.Agent]
t [Matching]
t [Pattern.PreEnv]
t [Pattern.Env]
t [Pattern.ObsMap]
t [Pattern]
type for domain points
t [Contact_map]
(internal_states, (agent_type, agent_site) link_states
t [Signature]
Store of one agent
t [Agent]
agent_id * agent_type
t [Locality]
t [NamedDecls]
t [Fractions]
t [Nbr]
t [Loggers.FormatMap]
t [Loggers]
t [Buffers.Buffers]
t [ValMap]
t [Int_storage.Storage]
t [IntCollection]
t [SetMap.OrderedType]
t [SetMap.Map]
t [SetMap.Set]
t [DynamicArray.DynArray]
t [GenArray.GenArray]
ternary [Static_contact_map_domain.Domain]
ternary [Composite_domain.Composite_domain]
ternary [Analyzer_domain_sig.Domain]
ternary [Mvbdu_wrapper.Mvbdu]
ternary [Utilities]
ternary [Int_storage]
test [Instantiation]
top_or_not [Usual_domains]
trace [Utilities]
traces
trace_runtime_info [Utilities]
Runtime information about a trace provided by the simulator
transition [Pattern.Env]
try_to_remove_first [Priority]

U
un_alg_op [Operator]
un_bool_op [Operator]
unary [Static_contact_map_domain.Domain]
unary [Composite_domain.Composite_domain]
unary [Analyzer_domain_sig.Domain]
unary [Mvbdu_wrapper.Mvbdu]
unary [Utilities]
unary [Int_storage]
unary_no_output [Int_storage]

V
value [Mvbdu_wrapper.Internalized_mvbdu]
value [Mvbdu_wrapper.Mvbdu]
variable [Ckappa_sig]
variable_def [Ast]
views [Cckappa_sig]

W
with_handlers [Utilities]
with_log_wrap [SetMap]
work [Pattern]
Create a connected component

Z
zeroary [Static_contact_map_domain.Domain]
zeroary [Composite_domain.Composite_domain]
zeroary [Analyzer_domain_sig.Domain]
zeroary [Utilities]