cprover
|
Specify write set in function contracts. More...
Go to the source code of this file.
Classes | |
class | assigns_clause_targett |
A base class for assigns clause targets. More... | |
class | assigns_clauset |
Specify write set in function contracts.
Definition in file assigns.h.