Searched defs:redundant_11 (Results 1 – 7 of 7) sorted by relevance
1525 redundant_11(X) when X < 51 -> 2*X; function1526 redundant_11(X) when X =:= 10 -> 2*X; function1527 redundant_11(X) when X >= 51, X =< 80 -> 5*X; function1528 redundant_11(_) -> none. function
1583 redundant_11(X) when X < 51 -> 2*X; function1584 redundant_11(X) when X =:= 10 -> 2*X; function1585 redundant_11(X) when X >= 51, X =< 80 -> 5*X; function1586 redundant_11(_) -> none. function
1651 redundant_11(X) when X < 51 -> 2*X; function1652 redundant_11(X) when X =:= 10 -> 2*X; function1653 redundant_11(X) when X >= 51, X =< 80 -> 5*X; function1654 redundant_11(_) -> none. function
1605 redundant_11(X) when X < 51 -> 2*X; function1606 redundant_11(X) when X =:= 10 -> 2*X; function1607 redundant_11(X) when X >= 51, X =< 80 -> 5*X; function1608 redundant_11(_) -> none. function