AssertLastValue Class Referencea class to record last value assertions.
More...
#include <AssertLastValue.h>
Inheritance diagram for AssertLastValue:
[legend]List of all members.
Detailed Description
a class to record last value assertions.
C Polaris - See also:
- Directive/AssertLastValue.h
Directive/AssertLastValue.h
The AssertLastValue class is meant to provide a specific class for assertions about the last value calculations for variables.
No known bugs.
Definition at line 29 of file AssertLastValue.h.
Constructor & Destructor Documentation
| AssertLastValue::AssertLastValue |
( |
|
) |
|
|
Member Function Documentation
| void AssertLastValue::print |
( |
ostream & |
o |
) |
const [virtual] |
|
| Assertion * AssertLastValue::clone |
( |
|
) |
const [virtual] |
|
| Listable * AssertLastValue::listable_clone |
( |
|
) |
const [virtual] |
|
The documentation for this class was generated from the following files:
|