Ada Code Generation : Package Body : Functions Implementing the Compound Elements

Functions Implementing the Compound Elements

The function CAN_OPEN_CROSS return BOOLEAN is

begin
return (EXIT_CROSS1 or EXIT_CROSS2) and
(not (IN_CRIT1 or IN_CRIT2));
end CAN_OPEN_CROSS;