Searched defs:redundant_5 (Results 1 – 7 of 7) sorted by relevance
1496 redundant_5(X) when X < 51 -> 2*X; function1497 redundant_5(X) when X > 50, X < 81 -> 5*X; function1498 redundant_5(X) when X =< 10 -> none; function1499 redundant_5(_) -> none. function
1554 redundant_5(X) when X < 51 -> 2*X; function1555 redundant_5(X) when X > 50, X < 81 -> 5*X; function1556 redundant_5(X) when X =< 10 -> none; function1557 redundant_5(_) -> none. function
1622 redundant_5(X) when X < 51 -> 2*X; function1623 redundant_5(X) when X > 50, X < 81 -> 5*X; function1624 redundant_5(X) when X =< 10 -> none; function1625 redundant_5(_) -> none. function
1576 redundant_5(X) when X < 51 -> 2*X; function1577 redundant_5(X) when X > 50, X < 81 -> 5*X; function1578 redundant_5(X) when X =< 10 -> none; function1579 redundant_5(_) -> none. function