ruba::generator Class Reference

#include <generator.hh>

Public Member Functions
	generator (const string &initl, const string &filename)
const vector< set< visible_state > > &	get_generators () const

Detailed Description

PART 2. The following are for the generator idea

Constructor & Destructor Documentation

generator()

ruba::generator::generator	(	const string &	initl,
		const string &	filename
	)

PART 2. A preprocessor, overapproximate the set of reachable top configurations Default constructor

Parameters

initl	: initial configuration
filename	input CPDS

---

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

• generator.hh
• generator.cc