SATRestartPartialTraceExecutor Struct Reference

Private and protected interface of class 'SATRestartPartialTraceExecutor'. More...

#include <SATRestartPartialTraceExecutor_private.h>

Public Member Functions
	INHERITS_FROM (PartialTraceExecutor)

---

Detailed Description

Private and protected interface of class 'SATRestartPartialTraceExecutor'.

Author:

Marco Pensallorto This file can be included only by derived and friend classes

SATRestartPartialTraceExecutor class definition derived from class PartialTraceExecutor

See also:

Base class PartialTraceExecutor

---

Member Function Documentation

SATRestartPartialTraceExecutor::INHERITS_FROM

(

PartialTraceExecutor

)

---

The documentation for this struct was generated from the following file:

• NuSMV/code/nusmv/core/trace/exec/SATRestartPartialTraceExecutor_private.h