Home
last modified time | relevance | path

Searched defs:_nextVar (Results 1 – 7 of 7) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DRectify.hpp83 int _nextVar; member in Shell::Rectify::Renaming
H A DSimplifyProver.hpp222 int _nextVar; member in Shell::SimplifyProver
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DFormulaVarIterator.hpp82 unsigned _nextVar; member in Kernel::FormulaVarIterator
H A DRenaming.hpp110 unsigned _nextVar; member in Kernel::Renaming
/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB2.hpp331 unsigned _nextVar; member in Parse::SMTLIB2
/dports/math/vampire/vampire-4.5.1/VUtils/
H A DLocalityRestoring.cpp636 unsigned _nextVar; member in VUtils::LocalityRestoring::QuantifyingTermTransformer
/dports/math/vampire/vampire-4.5.1/Indexing/
H A DSubstitutionTree.hpp695 int _nextVar; member in Indexing::SubstitutionTree