Searched defs:stateB (Results 1 – 2 of 2) sorted by relevance
552 static PhiState pureMeet(const PhiState &stateA, const PhiState &stateB) { in pureMeet()
1872 QueriedState stateB; in verifyStateIntegerEqualToOther() local