Esempi in C++ (Cpp) per trace_plugin_deinit

Linguaggio di programmazione: C++ (Cpp)

Metodo/funzione: trace_plugin_deinit

Esempi su hotexamples.com: 2

trace_plugin_deinit in C++ (Cpp): 2 esempi trovati. Questi sono i migliori esempi reali in C++ (Cpp) per trace_plugin_deinit, estratti da progetti open source. Li puoi valutare, per aiutarci a migliorare la qualità dei nostri esempi.

Esempio n. 1

Mostra file

File: TraceCompact.c Progetto: sbusard/pynusmv

/**Function********************************************************************

  Synopsis    [Deinitializes Explain object.]

  Description []

  SideEffects []

  SeeAlso     []

******************************************************************************/
void trace_compact_deinit(TraceCompact_ptr self)
{
    trace_plugin_deinit(TRACE_PLUGIN(self));
}

Esempio n. 2

Mostra file

File: TraceExplainer.c Progetto: hklarner/NuSMV-a

void trace_explainer_deinit(TraceExplainer_ptr self)
{
  trace_plugin_deinit(TRACE_PLUGIN(self));
}