ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
enum.Enum Class Reference

Public Member Functions

 __init__ (self, int value, str name)
bool __eq__ (self, Enum other)
bool __ne__ (self, Enum other)
int __hash__ (self)
str __repr__ (self)
str __str__ (self)

Public Attributes

int value = value
str name = name

Constructor & Destructor Documentation

◆ __init__()

enum.Enum.__init__ ( self,
int value,
str name )

Member Function Documentation

◆ __eq__()

bool enum.Enum.__eq__ ( self,
Enum other )
Return True if both enum members share the same value.

◆ __hash__()

int enum.Enum.__hash__ ( self)

◆ __ne__()

bool enum.Enum.__ne__ ( self,
Enum other )
Return True if the enum members have different values.

◆ __repr__()

str enum.Enum.__repr__ ( self)

◆ __str__()

str enum.Enum.__str__ ( self)

Member Data Documentation

◆ name

str enum.Enum.name = name

◆ value

int enum.Enum.value = value

The documentation for this class was generated from the following file:
  • src/python-frontend/models/enum.py