Searched defs:DetShockElement (Results 1 – 1 of 1) sorted by relevance
36 struct DetShockElement struct in AbstractShocksStatement38 int period1;39 int period2;40 expr_t value;