Searched defs:redundant_3 (Results 1 – 7 of 7) sorted by relevance
1486 redundant_3(X) when X < 51 -> 2*X; function1487 redundant_3(X) when X =< 80, X >= 51 -> 5*X; function1488 redundant_3(X) when X =/= 100 -> none; function1489 redundant_3(_) -> none. function
1544 redundant_3(X) when X < 51 -> 2*X; function1545 redundant_3(X) when X =< 80, X >= 51 -> 5*X; function1546 redundant_3(X) when X =/= 100 -> none; function1547 redundant_3(_) -> none. function
1612 redundant_3(X) when X < 51 -> 2*X; function1613 redundant_3(X) when X =< 80, X >= 51 -> 5*X; function1614 redundant_3(X) when X =/= 100 -> none; function1615 redundant_3(_) -> none. function
1566 redundant_3(X) when X < 51 -> 2*X; function1567 redundant_3(X) when X =< 80, X >= 51 -> 5*X; function1568 redundant_3(X) when X =/= 100 -> none; function1569 redundant_3(_) -> none. function