![]()  | 
  
    Connect++ 0.4.0
    
   A fast, readable connection prover for first-order logic. 
   | 
 
This is the complete list of members for SubstitutionStack, including all inherited members.
| backtrack() | SubstitutionStack | |
| backtrack_points | SubstitutionStack | private | 
| clear() | SubstitutionStack | inline | 
| next_index | SubstitutionStack | private | 
| operator<< (defined in SubstitutionStack) | SubstitutionStack | friend | 
| operator=(const SubstitutionStack &)=delete (defined in SubstitutionStack) | SubstitutionStack | |
| push_all(Substitution &) | SubstitutionStack | |
| stack | SubstitutionStack | private | 
| SubstitutionStack() | SubstitutionStack | inline | 
| SubstitutionStack(const SubstitutionStack &)=delete | SubstitutionStack |