Skip to contents

Remove element from list element's vector

Usage

removeListVectorEl(stateList, transitionHead, transitionTail)

Arguments

stateList

List of all the states storing the possible destination states

transitionHead

State label which is the state where the transition is coming from

transitionTail

State label which is the state where the transition is going to