Up
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
]