Here is a list of all documented class members with links to the class documentation for each member:

- l -

• L : InferenceItem
• l : StackItem, TableauProofNode
• l_child : TableauProofNode
• left_extension_backtrack() : StackProver
• Lem : ProofChecker
• Lem_i_ok() : ProofChecker
• lemma : TableauProofNode
• lemma_backtrack_restricted : StackItem
• lemma_current_lemma_index : StackItem
• lemma_is_used : TableauProofNode
• lemma_list : TableauProofNode
• lemma_no_more_results : StackItem
• lemma_number : TableauProofNode
• lemma_reduction_node : TableauProofNode
• lemma_size : StackItem
• Lemmata() : Lemmata
• lemmata : StackProver
• lemmata_backtrack() : StackProver
• lemmata_tried : StackProver
• length() : SimplePath
• Lindex : InferenceItem
• lit : StackItem, TableauProofNode
• Lit_i_ok() : ProofChecker
• Literal() : Literal
• literal_clause_index : Matrix
• Lprime : InferenceItem
• ls : Lemmata