AERA
|
#include <guard_builder.h>
Public Member Functions | |
ConstBwdArgCmdGuardBuilder (std::chrono::microseconds period, std::chrono::microseconds offset, uint16 cmd_arg_index, _Fact *cause) | |
void | build (r_code::Code *mdl, _Fact *premise_pattern, _Fact *cause_pattern, uint16 &write_index) const override |
![]() | |
TimingGuardBuilder (std::chrono::microseconds period) | |
![]() | |
void | incRef () |
virtual void | decRef () |
Protected Attributes | |
std::chrono::microseconds | offset_ |
uint16 | cmd_arg_index_ |
P< _Fact > | cause_ |
![]() | |
std::chrono::microseconds | period_ |
![]() | |
std::atomic_int32_t | refCount_ |
Additional Inherited Members | |
![]() | |
void | write_guard (r_code::Code *mdl, uint16 l, uint16 r, uint16 opcode, std::chrono::microseconds offset, uint16 &write_index, uint16 &extent_index) const |
void | _build (r_code::Code *mdl, uint16 t0, uint16 t1, uint16 &write_index) const |
Use the timings of NoArgCmdGuardBuilder, but also add a backward guard to set the cmd arg to the constant value from the given original cause.
Definition at line 233 of file guard_builder.h.