seal5.transform.collect_register_operands.visitor

Collect register operands from behavior expressions.

Classes

CollectRegisterOperandsVisitor()

Collect register operands from behavioral expressions.