Here is a list of all struct and union fields with links to the structures/unions they belong to:

- l -

• label : clause_graph
• last_frame : Trace
• last_in_list : HrcDumperInfo
• last_time : TraceXmlLoader
• LastVisit : Dag_DfsFunctions_t , RbcDfsFunctions
• layer : Prop_Rewriter
• layer2groups : BddEnc
• layer_names : BaseEnc
• layers : BddFsmCache::BddFsmReachable_TAG
• left : node_ptr , clause_graph , avl_node
• legal_state_input : BddFsmCache
• length : Trace
• level2index : BddEnc
• lineno : HrcDumperInfo , HrcNode , node_ptr
• link : node_ptr , string_rec
• list_is_empty : HrcDumperInfo
• load : TraceLoader
• log2phy : BeEnc
• log_idx_capacity : BeEnc
• Logger_create() : Logger
• Logger_dec_indent_size() : Logger
• Logger_destroy() : Logger
• Logger_get_indent_size() : Logger
• Logger_get_ostream() : Logger
• Logger_get_stream() : Logger
• Logger_inc_indent_size() : Logger
• Logger_log() : Logger
• Logger_nlog() : Logger
• Logger_reset_indent_size() : Logger
• Logger_set_indent_size() : Logger
• Logger_vlog() : Logger
• Logger_vnlog() : Logger
• logic_recognizer_base_deinit() : LogicRecognizerBase
• logic_recognizer_base_init() : LogicRecognizerBase
• logic_recognizer_base_recognize() : LogicRecognizerBase
• logic_recognizer_core_deinit() : LogicRecognizerCore
• logic_recognizer_core_init() : LogicRecognizerCore
• logic_recognizer_core_recognize() : LogicRecognizerCore
• LogicRecognizerBase_recognize() : LogicRecognizerBase
• LogicRecognizerCore_create() : LogicRecognizerCore
• loopback : TraceVarFrame
• loopback_states : TraceXmlLoader
• low : NodeWalker
• LRUCache_clear() : LRUCache
• LRUCache_create() : LRUCache
• LRUCache_destroy() : LRUCache
• LRUCache_insert() : LRUCache
• LRUCache_iter_values() : LRUCache
• LRUCache_lookup() : LRUCache
• LRUCache_remove() : LRUCache
• ltl2invar_negate_property : Prop_Rewriter
• ltl_module_base_name : Ltl2SmvPrefixes
• ltl_props : HrcNode
• Ltl_StructCheckLtlSpec_build() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_build_counter_example() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_check() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_create() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_destroy() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_explain() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_get_clean_s0() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_get_s0() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_print_result() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_set_do_rewriting() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_set_ltl2smv() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_set_negate_formula() : Ltl_StructCheckLtlSpec
• Ltl_StructCheckLtlSpec_set_oreg2smv() : Ltl_StructCheckLtlSpec