Home
last modified time | relevance | path

Searched refs:nameVars (Results 1 – 1 of 1) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Kernel/
H A DInferenceStore.cpp798 List<unsigned>* nameVars=0; in printGeneralSplittingComponent() local
802 …ASS(!List<unsigned>::member(var, nameVars)); //each variable appears only once in the naming liter… in printGeneralSplittingComponent()
803 List<unsigned>::push(var,nameVars); in printGeneralSplittingComponent()
828 if (!List<unsigned>::member(var, nameVars) && !List<unsigned>::member(var, compOnlyVars)) { in printGeneralSplittingComponent()
839 defStr=getQuantifiedStr(nameVars, defStr); in printGeneralSplittingComponent()
840 List<unsigned>::destroy(nameVars); in printGeneralSplittingComponent()