Searched refs:InlinedIntegerLiteralVector (Results 1 – 2 of 2) sorted by relevance
220 using InlinedIntegerLiteralVector = absl::InlinedVector<IntegerLiteral, 2>; variable463 const InlinedIntegerLiteralVector& GetIntegerLiterals(Literal lit) const { in GetIntegerLiterals()473 const InlinedIntegerLiteralVector& GetAllIntegerLiterals(Literal lit) const { in GetAllIntegerLiterals()573 const InlinedIntegerLiteralVector empty_integer_literal_vector_;574 absl::StrongVector<LiteralIndex, InlinedIntegerLiteralVector>576 absl::StrongVector<LiteralIndex, InlinedIntegerLiteralVector>
2060 const InlinedIntegerLiteralVector& associated_literals = in ExcludeCurrentSolutionWithoutIgnoredVariableAndBacktrack()