Пример #1
0
 execution_context::execution_context(context & datalog_context) 
     : m_datalog_context(datalog_context),
     m_stopwatch(0),
     m_timelimit_ms(0),
     m_eager_emptiness_checking(datalog_context.eager_emptiness_checking()) {}