Home
last modified time | relevance | path

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

/dports/devel/emscripten/emscripten-2.0.3/tests/third_party/poppler/poppler/
H A DABWOutputDev.cc871 int leftCnt = 0, rightCnt = 0, cntrCnt = 0, justCnt = 0; in addAlignment() local
905 rightCnt = 0; in addAlignment()
934 rightCnt++; in addAlignment()
944 if ((leftCnt-1 >= justCnt) && (leftCnt >= rightCnt) && (leftCnt >= cntrCnt)) in addAlignment()
946 else if ((justCnt >= leftCnt-1) && (justCnt >= rightCnt) && (justCnt >= cntrCnt)) in addAlignment()
948 else if ((cntrCnt >= justCnt-1) && (cntrCnt >= rightCnt) && (cntrCnt >= leftCnt)) in addAlignment()
/dports/math/vampire/vampire-4.5.1/VUtils/
H A DZ3InterpolantExtractor.hpp142 …TermColoring* createFileColorer(unsigned leftCnt, char** leftFNames, unsigned rightCnt, char** rig…
H A DZ3InterpolantExtractor.cpp624 TermColoring* ZIE::createFileColorer(unsigned leftCnt, char** leftFNames, unsigned rightCnt, char**… in createFileColorer() argument
633 for(unsigned i=0; i<rightCnt; i++) { in createFileColorer()