Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
SubstitutionStack Member List

This is the complete list of members for SubstitutionStack, including all inherited members.

backtrack()SubstitutionStack
backtrack_pointsSubstitutionStackprivate
clear()SubstitutionStackinline
next_indexSubstitutionStackprivate
operator<< (defined in SubstitutionStack)SubstitutionStackfriend
operator=(const SubstitutionStack &)=delete (defined in SubstitutionStack)SubstitutionStack
push_all(Substitution &)SubstitutionStack
stackSubstitutionStackprivate
SubstitutionStack()SubstitutionStackinline
SubstitutionStack(const SubstitutionStack &)=deleteSubstitutionStack