Searched defs:ass (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DVarOrder.h43 VarOrder(const vec<char>& ass, const vec<double>& act) : argument
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DbddTools.sml212 val ass = findAss t value
H A DlzConv.sml1720 and ass = PART_MATCH I (SYM (SPEC_ALL associative)) value
/seL4-l4v-master/HOL4/examples/HolBdd/
H A DPrimitiveBddRules.sml693 val ass = union(ass1,ass2) value
742 val ass = union(ass1,ass2) value
785 val ass = add(union(ass1,ass2), t1) value
[all...]
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_random_testingLib.sml873 val ass = case b value
/seL4-l4v-master/HOL4/src/1/
H A DConv.sml2354 and ass = value
H A DDrule.sml2333 and ass = AP_TERM RE (SPEC a th1) value

Completed in 107 milliseconds