Searched refs:Unassigned (Results 1 – 12 of 12) sorted by relevance
89 Unassigned = -1, enumerator135 VarAssignments.resize(CNF.largestVar() + 1, Assignment::Unassigned); in WatchedLiteralsSolverImpl()267 VarAssignments[Var] = Assignment::Unassigned; in reverseForcedMoves()308 VarAssignments[NewWatchedLitVar] == Assignment::Unassigned) in updateWatchedLiterals()376 return VarAssignments[Var] == Assignment::Unassigned; in activeVarsAreUnassigned()396 if (VarAssignments[Var] != Assignment::Unassigned) in unassignedVarsFormingWatchedLiteralsAreActive()
109 # device does not fit any defined class; Unassigned Class (Vendor specific)
150 # 138-254 # Unassigned
238 int64_t Offset = Unassigned;239 int64_t Size = Unassigned;258 assert((Offset == RangeTy::Unassigned) == (Size == RangeTy::Unassigned) && in isUnassigned()260 return Offset == RangeTy::Unassigned; in isUnassigned()310 static constexpr int64_t Unassigned = std::numeric_limits<int32_t>::min();
143 7. Unassigned Code Points in Internationalized Domain Names
272 All Unassigned code points are prohibited. Unassigned code points
141 2.5. Unassigned Code Points
70 7. Unassigned Code Points in Stringprep Profiles..................1583 A.1 Unassigned code points in Unicode 3.2.......................23818 7. Unassigned Code Points in Stringprep Profiles894 U Unassigned code points948 be put in the canonical order YX. (Unassigned code points are1245 A.1 Unassigned code points in Unicode 3.2
542 0x00 Unassigned610 0x00 Unassigned
24691 000 Unassigned24755 000 Unassigned
7273 3017 Unassigned Hitachi Shared FC Device 301739108 C ff Unassigned class
1712 # 2210-2212 Unassigned