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

Public Member Functions

None __init__ (self, int maxsize=0)
None put (self, Any item, bool block=True, Any timeout=None)
None put_nowait (self, Any item)
Any get (self, bool block=True, Any timeout=None)
Any get_nowait (self)
int qsize (self)
bool empty (self)
bool full (self)
None task_done (self)
None join (self)

Public Attributes

list[Any] items
int maxsize = maxsize

Detailed Description

queue.LifoQueue — list-backed LIFO (last-in, first-out / stack).

Constructor & Destructor Documentation

◆ __init__()

None queue.LifoQueue.__init__ ( self,
int maxsize = 0 )

Member Function Documentation

◆ empty()

bool queue.LifoQueue.empty ( self)

◆ full()

bool queue.LifoQueue.full ( self)

◆ get()

Any queue.LifoQueue.get ( self,
bool block = True,
Any timeout = None )

◆ get_nowait()

Any queue.LifoQueue.get_nowait ( self)

◆ join()

None queue.LifoQueue.join ( self)

◆ put()

None queue.LifoQueue.put ( self,
Any item,
bool block = True,
Any timeout = None )

◆ put_nowait()

None queue.LifoQueue.put_nowait ( self,
Any item )

◆ qsize()

int queue.LifoQueue.qsize ( self)

◆ task_done()

None queue.LifoQueue.task_done ( self)

Member Data Documentation

◆ items

queue.LifoQueue.items

◆ maxsize

int queue.LifoQueue.maxsize = maxsize

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