cprover
assigns.h File Reference

Specify write set in function contracts. More...

+ Include dependency graph for assigns.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  assigns_clause_targett
 A base class for assigns clause targets. More...
 
class  assigns_clauset
 

Detailed Description

Specify write set in function contracts.

Definition in file assigns.h.