verse.parser.parser.StateDef

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

Bases: object

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

Methods

all_vars

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