Searched refs:expr_set (Results 1 – 2 of 2) sorted by relevance
195 expr_set = (name ... | expr ...)196 expr = (expr_key expr_set ...)200 The number of `expr_set`'s in an `expr` is dependent on the statement type (there are four differen…216 …tributeset`](cil_type_statements.md#typeattributeset) statements allow `expr_set` to mix names and…257 2. The [`categoryset`](cil_mls_labeling_statements.md#categoryset) statement allows `expr_set` to …261 …if`](cil_conditional_statements.md#tunableif) statements only allow an `expr_set` to have one `nam…277 …il_constraint_statements.md#mlsvalidatetrans) statements only allow an `expr_set` to have one `nam…
278 using expr_set = std::unordered_map<Instruction*, uint32_t, InstrHash, InstrPred>; typedef282 expr_set expr_values;391 std::pair<expr_set::iterator, bool> res = ctx.expr_values.emplace(instr.get(), block.index); in process_block()