Helper class for simulation equivalence computation. More...

Public Types
using	InvTransition = pair< BDD, StateSet >

using	InvDelta = vector< InvTransition >

Public Member Functions
	Simul (Parity const &DPW, set< StatePair > &simul)

void	enqueue (StatePair const &sp)

StatePair	dequeue (void)

bool	qIsEmpty (void)

void	perturb (State p, State q)

Detailed Description

Helper class for simulation equivalence computation.

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

Public Types