LIBINT
2.1.0-stable
|
NullTactic always returns null RecurrenceRelation. More...
#include <tactic.h>
Public Member Functions | |
RR | optimal_rr (const rr_stack &stack) const |
Additional Inherited Members | |
![]() | |
typedef SafePtr< RecurrenceRelation > | RR |
typedef vector< RR > | rr_stack |
NullTactic always returns null RecurrenceRelation.