SATPartialTraceExecutor Struct Reference

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

Public Member Functions
	INHERITS_FROM (PartialTraceExecutor)
Data Fields
BddEnc_ptr	bdd_enc
BeEnc_ptr	enc
BeFsm_ptr	fsm
boolean	use_restart
Related Functions
(Note that these are not member functions.)
void	sat_partial_trace_executor_deinit (SATPartialTraceExecutor_ptr self)
	The SATPartialTraceExecutor class private deinitializer.
void	sat_partial_trace_executor_init (SATPartialTraceExecutor_ptr self, const BeFsm_ptr fsm, const BeEnc_ptr enc, const BddEnc_ptr bdd_enc, boolean use_restart)
	The SATPartialTraceExecutor class private initializer.
SATPartialTraceExecutor_ptr	SATPartialTraceExecutor_create (const BeFsm_ptr fsm, const BeEnc_ptr enc, const BddEnc_ptr bdd_enc, boolean use_restart)
	The SATPartialTraceExecutor class constructor.
void	SATPartialTraceExecutor_destroy (SATPartialTraceExecutor_ptr self)
	The SATPartialTraceExecutor class destructor.

Detailed Description

Private and protected interface of class 'SATPartialTraceExecutor'.

Public interface of class 'SATPartialTraceExecutor'.

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

Definition of the public accessor for class SATPartialTraceExecutor

SATPartialTraceExecutor::INHERITS_FROM ( PartialTraceExecutor )

void sat_partial_trace_executor_deinit ( SATPartialTraceExecutor_ptr self ) [related]

The SATPartialTraceExecutor class private deinitializer.

The SATPartialTraceExecutor class private deinitializer

void sat_partial_trace_executor_init	(	SATPartialTraceExecutor_ptr	self,
		const BeFsm_ptr	fsm,
		const BeEnc_ptr	enc,
		const BddEnc_ptr	bdd_enc,
		boolean	use_restart
	)			`[related]`

The SATPartialTraceExecutor class private initializer.

The SATPartialTraceExecutor class private initializer

SATPartialTraceExecutor_ptr SATPartialTraceExecutor_create	(	const BeFsm_ptr	fsm,
		const BeEnc_ptr	enc,
		const BddEnc_ptr	bdd_enc,
		boolean	use_restart
	)			`[related]`