ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
dataclasses Namespace Reference

Classes

class  InitVar
class  Field

Functions

 dataclass (_cls=None, **kwargs)
 field (*args, **kwargs)
 is_dataclass (obj)
 fields (obj)
 asdict (obj)
 astuple (obj)
 replace (obj, **changes)

Function Documentation

◆ asdict()

dataclasses.asdict ( obj)

◆ astuple()

dataclasses.astuple ( obj)

◆ dataclass()

dataclasses.dataclass ( _cls = None,
** kwargs )

◆ field()

dataclasses.field ( * args,
** kwargs )

◆ fields()

dataclasses.fields ( obj)

◆ is_dataclass()

dataclasses.is_dataclass ( obj)

◆ replace()

dataclasses.replace ( obj,
** changes )