Incl (command)

File:  incl

Description: This program tests if L(H1) contains L(H2) and if Lm(H1) contains Lm(H2). The order of input matters.

Input:   H1.fsm - Input FSM1


 * H2.fsm - Input FSM2

Output:  If L(H1) contains L(H2) and if Lm(H1) contains Lm(H2)