Searched defs:iVarMax (Results 1 – 5 of 5) sorted by relevance
/dports/games/galaxyhack/galaxyhack/src/ |
H A D | DragWindow.cpp | 184 Slider::Slider(int ix, int iy, int iSliderVar, int iVarMin, int iVarMax, int iParentID, int flags): in Slider() 189 Slider::Slider(int ix, int iy, int* iVarPointer, int iVarMin, int iVarMax, int iParentID, int flags… in Slider() 194 void Slider::Init(int iVarMin, int iVarMax) { in Init() 286 SliderWithUnits::SliderWithUnits(int ix, int iy, int iSliderVar, int iVarMin, int iVarMax, const st… in SliderWithUnits() 289 SliderWithUnits::SliderWithUnits(int ix, int iy, int* iVarPointer, int iVarMin, int iVarMax, const … in SliderWithUnits()
|
H A D | GenWindow.cpp | 438 GenWindow::GenWindow(int ix, int iy, WindowChoice iType, int iSliderVar, int iVarMin, int iVarMax, … in GenWindow() 442 GenWindow::GenWindow(int ix, int iy, WindowChoice iType, int* iVarPointer, int iVarMin, int iVarMax… in GenWindow()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
H A D | pdrSat.c | 147 int i, iVar, iVarMax = 0; in Pdr_ManCubeToLits() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
H A D | lpkMulti.c | 180 int i, pTriv[8], PrioMin, iVarMax, nComps, fOneNonTriv; in Lpk_FindHighest() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifDsd.c | 819 int If_DsdManCheckNonTriv( If_DsdMan_t * p, int Id, int nVars, int iVarMax ) in If_DsdManCheckNonTriv()
|