Searched defs:redundant_4 (Results 1 – 7 of 7) sorted by relevance
1491 redundant_4(X) when X < 51 -> 2*X; function1492 redundant_4(X) when X =< 80, X > 50 -> 5*X; function1493 redundant_4(X) when X =/= 100 -> none; function1494 redundant_4(_) -> none. function
1549 redundant_4(X) when X < 51 -> 2*X; function1550 redundant_4(X) when X =< 80, X > 50 -> 5*X; function1551 redundant_4(X) when X =/= 100 -> none; function1552 redundant_4(_) -> none. function
1617 redundant_4(X) when X < 51 -> 2*X; function1618 redundant_4(X) when X =< 80, X > 50 -> 5*X; function1619 redundant_4(X) when X =/= 100 -> none; function1620 redundant_4(_) -> none. function
1571 redundant_4(X) when X < 51 -> 2*X; function1572 redundant_4(X) when X =< 80, X > 50 -> 5*X; function1573 redundant_4(X) when X =/= 100 -> none; function1574 redundant_4(_) -> none. function