Index of exceptions


B
BadOption [Nts2dot_subgraph_info]
BadOption [Nts2dot]

C
CntInvalidExpression [Nts]

E
EofWhileInAComment [Sid_table_info_lexer]

F
Found_a_primed_var [Nts_generic]

I
Invalid_nts_expression [Nts_types]

N
NoSubsystem [Trace_analysis]
No_such_counter_automata_in_nts_system [Nts_functor]
Not_Guard [Nts_types]
Not_LiPVar [Nts_types]
Not_LiVar [Nts_types]
Not_an_if_then_else_condition_guard [Nts_types]

U
UnboundVarName [Nts_functor]
UndefinedLexem [Trace_eldarica_lexer]
UndefinedLexem [Sid_table_info_lexer]
UndefinedLexem [Ntl_lexer]
UnknownESidDescriptor [Trace_analysis]
Unreferenced_esid_in [Trace_analysis]