verse.parser.parser.StateDef

class verse.parser.parser.StateDef(cont: ~typing.List[str] = <factory>, disc: ~typing.List[str] = <factory>, disc_type: ~typing.List[str] = <factory>, static: ~typing.List[str] = <factory>, static_type: ~typing.List[str] = <factory>)

Bases: object

Variable/member set needed for simulation/verification for some object

Methods

all_vars

__init__(cont: ~typing.List[str] = <factory>, disc: ~typing.List[str] = <factory>, disc_type: ~typing.List[str] = <factory>, static: ~typing.List[str] = <factory>, static_type: ~typing.List[str] = <factory>) → None