An assertion about processes. More...
#include <property_assertion.h>
Public Member Functions | |
PropertyAssertion (const PropertyAssertion &assertion) | |
std::shared_ptr< LTS::Machine > | machine () const |
The process that this assertion is about. | |
PropertyAssertion & | operator= (const PropertyAssertion &assertion) |
LTS::SemanticModel | semantic_model () const |
The semantic model this check has been performed in. | |
Friends | |
struct | AssertionFactory |
An assertion about processes.
std::shared_ptr<LTS::Machine> FDR::Assertions::PropertyAssertion::machine | ( | ) | const |
The process that this assertion is about.
This property is only available after the assertion has been compiled, which occurs during Assertion::execute().