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

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

add_anon_var()VariableIndex
add_backtrack_point()VariableIndex
add_named_backtrack_point()VariableIndex
add_named_var(const string &)VariableIndex
add_unique_var()VariableIndex
all_names_addedVariableIndexprivate
backtrack()VariableIndex
backtrack_pointsVariableIndexprivate
backtrack_to_named_point(ID)VariableIndex
clear_substitutions()VariableIndex
find_variable(const string &)VariableIndex
first_anon_variableVariableIndexprivate
get_all_names_added() constVariableIndexinline
get_first_anon_variable() constVariableIndexinline
get_highest_anon_variable() constVariableIndexinline
get_next_index() constVariableIndexinline
get_num_backtracks() constVariableIndexinline
highest_anon_variableVariableIndexprivate
name_indexVariableIndexprivate
next_indexVariableIndexprivate
next_unique_indexVariableIndexprivate
operator<< (defined in VariableIndex)VariableIndexfriend
operator=(const VariableIndex &)=delete (defined in VariableIndex)VariableIndex
operator=(const VariableIndex &&)=delete (defined in VariableIndex)VariableIndex
reset()VariableIndex
set_all_names_added()VariableIndex
VariableIndex() (defined in VariableIndex)VariableIndex
VariableIndex(const VariableIndex &)=deleteVariableIndex
VariableIndex(const VariableIndex &&)=delete (defined in VariableIndex)VariableIndex
varsVariableIndexprivate
~VariableIndex() (defined in VariableIndex)VariableIndex