Home | History | Annotate | Download | only in Checkers

Lines Matching defs:okind

170   RetEffect::ObjKind okind;
176   : kind(k), okind(o), Cnt(cnt), ACnt(acnt), T(t) {}
181   RetEffect::ObjKind getObjKind() const { return okind; }