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