---

optimizer.h

Go to the documentation of this file.

#ifndef FSM_OPTIMIZER_H
#define FSM_OPTIMIZER_H
// $Id: optimizer.h,v 1.4 2001/08/08 12:33:33 dvermeir Exp $

#include <iostream>

#include "fsm.h"


class Optimizer {
public:
  Optimizer(const Fsm& fsm, ostream* trace = 0);

  ref<Fsm> optimize();
private:

  typedef map<pair<Fsm::State,Fsm::State>,bool> DISTINCT_T;


  DISTINCT_T distinct_; 
  

  bool& distinct(const Fsm::State&, const Fsm::State&);

  Fsm::State eq_class(const Fsm::State& q);

  const Fsm&    fsm_;
  ostream*      debug_;
};

#endif

---

FSM [ August, 2001]