Home
last modified time | relevance | path

Searched defs:_renaming (Results 1 – 4 of 4) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DRectify.hpp112 Renaming _renaming; member in Shell::Rectify
/dports/audio/ardour6/Ardour-6.8.0/gtk2_ardour/
H A Dtrack_record_axis.h137 bool _renaming; variable
/dports/math/vampire/vampire-4.5.1/Indexing/
H A DResultSubstitution.cpp126 Renaming& _renaming; member
H A DResultSubstitution.hpp198 Renaming _renaming; member in Indexing::DisjunctQueryAndResultVariablesSubstitution