#include <operator.h>
Public Member Functions | |
ScheduledOperator (double t, const Operator &op) | |
ScheduledOperator (double t) | |
Public Attributes | |
double | time_increment |
Definition at line 96 of file search/operator.h.
ScheduledOperator::ScheduledOperator | ( | double | t, |
const Operator & | op | ||
) | [inline] |
Definition at line 100 of file search/operator.h.
ScheduledOperator::ScheduledOperator | ( | double | t | ) | [inline] |
Definition at line 103 of file search/operator.h.
Definition at line 99 of file search/operator.h.