Inv p L (command)

File: inv_p_L

Description:  This program creates and returns the inverse projection of L(H) with respect to L(G) and the events in H.events. This is the same as inv_proj (H.fsm, H.events) X G.fsm.

Input:   H0.fsm - Input FSM


 * G.fsm - Reference FSM


 * uc.events - (optional) if used, will override uncontrollable events specified in G.fsm

Output: H.fsm - Machine representing infimal closed and controllable superlanguage