gautomata::Nfa Class Reference

#include <nfa.h>

Inheritance diagram for gautomata::Nfa:

List of all members.

Public Types
typedef pair< State, State >	StatePair
Public Member Functions
virtual Factory *	ptr_factory () const=0
virtual	~Nfa ()
virtual Nfa *	ptr_clone () const
virtual StateSet	states_starting () const=0
virtual StateSet	states_accepting () const=0
virtual StateSet	states_reachable () const
virtual StateSet	states_productive () const
virtual StateSet	states_live () const
virtual State	add_state (bool accepting, bool starting=false)=0
hash_map< State, State >	copy_states (const Nfa &a, StateSet states_to_copy, StateSet accepting, StateSet starting)
hash_map< State, State >	copy_states_and_transitions (const Nfa &a, StateSet states_to_copy, StateSet accepting, StateSet starting)
Nfa *	ptr_product (const gbdd::BddBased &a2, bool(*fn)(bool v1, bool v2)) const
virtual Nfa *	ptr_product (const Nfa &a2, bool(*fn)(bool v1, bool v2)) const
virtual Nfa *	ptr_product_and (const Nfa &a2) const
virtual Nfa *	ptr_product_or (const Nfa &a2) const
virtual Nfa *	ptr_product_minus (const Nfa &a2) const
virtual Nfa *	ptr_concatenation (const Nfa &a2) const
virtual Var	highest_var () const
virtual Var	lowest_var () const
virtual Nfa *	ptr_constrain_value (Var v, bool value) const
virtual Nfa *	ptr_deterministic () const
virtual Nfa *	ptr_minimize () const
virtual Nfa *	ptr_project (Domain vs) const
virtual Nfa *	ptr_rename (VarMap map) const
virtual Nfa *	ptr_rename (Domain vs1, Domain vs2) const
virtual Nfa *	ptr_kleene () const
virtual Nfa *	ptr_reverse () const
virtual Nfa *	ptr_negate () const
virtual Nfa *	ptr_with_starting_accepting (StateSet starting, StateSet accepting) const
	Change starting and accepting states of automaton.
virtual Nfa *	ptr_filter_states (StateSet s) const
virtual Nfa *	ptr_filter_states_live () const
virtual Nfa *	ptr_filter_states_reachable () const
virtual Nfa *	ptr_filter_states_productive () const
virtual bool	is_true () const
virtual bool	is_false () const
virtual bool	operator== (const BddBased &a2) const
virtual bool	operator== (const Nfa &a2) const
virtual bool	operator!= (const Nfa &a2) const
virtual bool	operator< (const Nfa &a2) const
virtual bool	operator<= (const Nfa &a2) const
virtual bool	operator> (const Nfa &a2) const
virtual bool	operator>= (const Nfa &a2) const
ostream &	print_dot (ostream &out, const PrintStrategy &ps) const
ostream &	print_dot (ostream &out, const PrintStrategy &ps, const StateSet &states) const
set< StatePair >	find_simulation_forward (const Nfa &a2, const StateSet &a1_states, const StateSet &a2_states) const
set< StatePair >	find_simulation_backward (const Nfa &a2, const StateSet &a1_states, const StateSet &a2_states) const
set< StatePair >	find_simulation_forward (const Nfa &a2) const
set< StatePair >	find_simulation_backward (const Nfa &a2) const
Friends
class	Factory
ostream &	operator<< (ostream &s, const Nfa &nfa)

---

Member Typedef Documentation

typedef pair<State,State> gautomata::Nfa::StatePair

---

Constructor & Destructor Documentation

gautomata::Nfa::~Nfa (   )  [virtual]

---

Member Function Documentation

virtual State gautomata::Nfa::add_state (  bool  accepting, bool  starting = false )  [pure virtual]

Implemented in gautomata::BNfa, gautomata::MNfa, and gautomata::RefNfa.

hash_map< State, State > gautomata::Nfa::copy_states (  const Nfa &  a, StateSet  states_to_copy, StateSet  accepting, StateSet  starting )

hash_map< State, State > gautomata::Nfa::copy_states_and_transitions (  const Nfa &  a, StateSet  states_to_copy, StateSet  accepting, StateSet  starting )

set< Nfa::StatePair > gautomata::Nfa::find_simulation_backward (  const Nfa &  a2  )  const

set< Nfa::StatePair > gautomata::Nfa::find_simulation_backward (  const Nfa &  a2, const StateSet &  a1_states, const StateSet &  a2_states )  const

set< Nfa::StatePair > gautomata::Nfa::find_simulation_forward (  const Nfa &  a2  )  const

set< Nfa::StatePair > gautomata::Nfa::find_simulation_forward (  const Nfa &  a2, const StateSet &  a1_states, const StateSet &  a2_states )  const

Nfa::Var gautomata::Nfa::highest_var (   )  const [virtual]

bool gautomata::Nfa::is_false (   )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

bool gautomata::Nfa::is_true (   )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa::Var gautomata::Nfa::lowest_var (   )  const [virtual]

bool gautomata::Nfa::operator!= (  const Nfa &  a2  )  const [virtual]

bool gautomata::Nfa::operator< (  const Nfa &  a2  )  const [virtual]

bool gautomata::Nfa::operator<= (  const Nfa &  a2  )  const [virtual]

bool gautomata::Nfa::operator== (  const Nfa &  a2  )  const [virtual]

bool gautomata::Nfa::operator== (  const BddBased &  a2  )  const [virtual]

bool gautomata::Nfa::operator> (  const Nfa &  a2  )  const [virtual]

bool gautomata::Nfa::operator>= (  const Nfa &  a2  )  const [virtual]

ostream & gautomata::Nfa::print_dot (  ostream &  out, const PrintStrategy &  ps, const StateSet &  states )  const

ostream& gautomata::Nfa::print_dot (  ostream &  out, const PrintStrategy &  ps )  const [inline]

Nfa * gautomata::Nfa::ptr_clone (   )  const [virtual]

Reimplemented in gautomata::BNfa, gautomata::MNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_concatenation (  const Nfa &  a2  )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_constrain_value (  Var  v, bool  value )  const [virtual]

Nfa * gautomata::Nfa::ptr_deterministic (   )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

virtual Factory* gautomata::Nfa::ptr_factory (   )  const [pure virtual]

Implemented in gautomata::BNfa, gautomata::MNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_filter_states (  StateSet  s  )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_filter_states_live (   )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_filter_states_productive (   )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_filter_states_reachable (   )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_kleene (   )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_minimize (   )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_negate (   )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_product (  const Nfa &  a2, bool(*  fn)(bool v1, bool v2) )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_product (  const gbdd::BddBased &  a2, bool(*  fn)(bool v1, bool v2) )  const

Nfa * gautomata::Nfa::ptr_product_and (  const Nfa &  a2  )  const [virtual]

Nfa * gautomata::Nfa::ptr_product_minus (  const Nfa &  a2  )  const [virtual]

Nfa * gautomata::Nfa::ptr_product_or (  const Nfa &  a2  )  const [virtual]

Nfa * gautomata::Nfa::ptr_project (  Domain  vs  )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_rename (  Domain  vs1, Domain  vs2 )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_rename (  VarMap  map  )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_reverse (   )  const [virtual]

Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

Nfa * gautomata::Nfa::ptr_with_starting_accepting (  StateSet  starting, StateSet  accepting )  const [virtual]

Change starting and accepting states of automaton. Parameters: starting  New set of starting states accepting  New set of accepting states Returns: The same automaton but with starting and accepting as starting and accepting states Reimplemented in gautomata::BNfa, and gautomata::RefNfa.

virtual StateSet gautomata::Nfa::states_accepting (   )  const [pure virtual]

Implemented in gautomata::BNfa, gautomata::MNfa, and gautomata::RefNfa.

StateSet gautomata::Nfa::states_live (   )  const [virtual]

StateSet gautomata::Nfa::states_productive (   )  const [virtual]

StateSet gautomata::Nfa::states_reachable (   )  const [virtual]

virtual StateSet gautomata::Nfa::states_starting (   )  const [pure virtual]

Implemented in gautomata::BNfa, gautomata::MNfa, and gautomata::RefNfa.

---

Friends And Related Function Documentation

friend class Factory [friend]

ostream& operator<< (  ostream &  s, const Nfa &  nfa )  [friend]

---

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

• nfa.h
• nfa/deterministic.cc
• nfa/minimize.cc
• nfa.cc

---