Types of nodes for alternating machines, with helping functions. More...
Types of nodes for alternating machines, with helping functions.