Searched defs:watchedvar2 (Results 1 – 5 of 5) sorted by relevance
98 int watchedvar2; /**< position of second watched operator variable */ member315 int watchedvar2 /**< new second watched variable */ in consdataSwitchWatchedvars()1010 int watchedvar2; in propagateCons() local
160 int watchedvar2; /**< position of the second watched variable */ member659 int watchedvar2 /**< new second watched variable */ in switchWatchedvars()1304 int watchedvar2; in processWatchedVars() local
122 int watchedvar2; /**< position of second watched operator variable */ member340 int watchedvar2 /**< new second watched variable */ in consdataSwitchWatchedvars()1467 int watchedvar2, /**< second watched position */ in analyzeZeroResultant()1695 int watchedvar2; in propagateCons() local
134 int watchedvar2; /**< position of second watched operator variable */ member248 int watchedvar2 /**< new second watched variable */ in consdataSwitchWatchedvars()2953 int watchedvar2; in propagateCons() local
142 int watchedvar2; /**< position of the second watched variable */ member382 int watchedvar2 /**< new second watched variable */ in switchWatchedvars()1346 int watchedvar2; in processWatchedVars() local