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

- b -

• back() : SimplePath
• backtrack : StackProver, Substitution, SubstitutionStack, Unifier, VariableIndex
• backtrack_once() : StackProver
• backtrack_points : SubstitutionStack, VariableIndex
• backtrack_to_named_point() : VariableIndex
• begin() : Substitution
• bt_restriction_index : StackItem