Ferramentas do usuário

Ferramentas do site


forall_operator

O operador universal FORALL é usado para testar condições em que um elemento pertença a um determinado vetor segundo um critério de universalidade. Sua forma de uso é FORALL <elem> IN |vect| : <elem.x> == 10, ou seja, se todos os elem de vect é válido que <elem.x> == 10.

forall_operator.txt · Última modificação: 2019/09/04 20:00 (edição externa)