Searched defs:precondition (Results 1 – 2 of 2) sorted by relevance
78 struct precondition struct80 CmpOp cmp;81 int op_num;82 OpType typ; /* CONSTANT: op_data is a constant.85 int op_data;
117 struct precondition struct119 CmpOp cmp;120 int op_num;121 OpType typ; /* CONSTANT: op_data is a constant.124 int op_data;