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

- i -

• index : Matrix
• index_in_lemmata : InferenceItem
• index_in_path : InferenceItem
• InferenceItem() : InferenceItem
• Interval() : Interval
• invert() : Literal
• invert_literal() : FOF
• is_clause() : FOF
• is_compatible_with() : Literal, Predicate
• is_complement_of() : Literal
• is_conjecture() : Matrix
• is_empty() : Literal
• is_false() : Literal
• is_function() : Term
• is_literal() : FOF
• is_negative() : Clause, Literal, Matrix
• is_positive() : Clause, Literal, Matrix
• is_subbed() : Term, Variable
• is_true() : Literal
• is_unsubbed_variable() : Term
• is_variable() : Term
• item_type : StackItem