Searched refs:implstart (Results 1 – 3 of 3) sorted by relevance
60 int implstart = implications.size(); in computeImplications() local72 std::partition(implications.begin() + implstart, implications.end(), in computeImplications()77 std::sort(implications.begin() + implstart, binstart); in computeImplications()94 implicationmap[loc].start = implstart; in computeImplications()95 implicationmap[loc].num = implications.size() - implstart; in computeImplications()
722 int implstart; in probInsertVar() local739 implstart = intstart + prob->nintvars; in probInsertVar()740 contstart = implstart + prob->nimplvars; in probInsertVar()758 if( insertpos > implstart ) in probInsertVar()762 insertpos = implstart; in probInsertVar()764 assert(insertpos == implstart); in probInsertVar()813 int implstart; in probRemoveVar() local823 implstart = intstart + prob->nintvars; in probRemoveVar()824 contstart = implstart + prob->nimplvars; in probRemoveVar()859 if( freepos < implstart-1 ) in probRemoveVar()[all …]
182 int implstart; in setupAndSolveSubscipRapidlearning() local231 implstart = nbinvars + nintvars; in setupAndSolveSubscipRapidlearning()233 for( i = implstart; i < implend; i++ ) in setupAndSolveSubscipRapidlearning()