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

Public Member Functions

 __init__ (self, int year, int month, int day)

Public Attributes

int year = year
int month = month
int day = day
int hour = 0
int minute = 0
int second = 0
int microsecond = 0

Detailed Description

Represent a date and time.

Constructor & Destructor Documentation

◆ __init__()

datetime.datetime.__init__ ( self,
int year,
int month,
int day )
Initialize a datetime with the given calendar date; time fields default to 0.

Member Data Documentation

◆ day

int datetime.datetime.day = day

◆ hour

int datetime.datetime.hour = 0

◆ microsecond

int datetime.datetime.microsecond = 0

◆ minute

int datetime.datetime.minute = 0

◆ month

int datetime.datetime.month = month

◆ second

int datetime.datetime.second = 0

◆ year

int datetime.datetime.year = year

The documentation for this class was generated from the following file: