gautomata::RefNfa Class Reference

#include <refnfa.h>

Inheritance diagram for gautomata::RefNfa:

List of all members.

Public Member Functions
	RefNfa (Nfa *nfa)
	RefNfa (const Nfa &a)
	RefNfa (const RefNfa &a)
	~RefNfa ()
RefNfa &	operator= (const RefNfa &a)
Nfa::Factory *	ptr_factory () const
Nfa *	ptr_clone () const
SymbolSet	alphabet () const
StateSet	states () const
StateSet	states_starting () const
Relation	transitions () const
StateSet	states_accepting () const
SymbolSet	edge_between (StateSet q, StateSet r) const
SymbolSet	edge_between (State q, State r) const
StateSet	successors (StateSet q, SymbolSet on) const
StateSet	predecessors (StateSet q, SymbolSet on) const
StateSet	reachable_successors (StateSet q, SymbolSet on) const
StateSet	reachable_predecessors (StateSet q, SymbolSet on) const
unsigned int	n_states () const
Nfa *	ptr_product (const Nfa &a2, bool(*fn)(bool v1, bool v2)) const
Nfa *	ptr_concatenation (const Nfa &a2) const
Nfa *	ptr_deterministic () const
Nfa *	ptr_minimize () const
Nfa *	ptr_project (Domain vs) const
Nfa *	ptr_rename (VarMap map) const
Nfa *	ptr_rename (Domain vs1, Domain vs2) const
Nfa *	ptr_kleene () const
Nfa *	ptr_reverse () const
Nfa *	ptr_negate () const
Nfa *	ptr_with_starting_accepting (StateSet starting, StateSet accepting) const
	Change starting and accepting states of automaton.
Nfa *	ptr_filter_states (StateSet s) const
Nfa *	ptr_filter_states_live () const
Nfa *	ptr_filter_states_reachable () const
Nfa *	ptr_filter_states_productive () const
State	add_state (bool accepting, bool starting=false)
void	add_edge (StateSet from, SymbolSet on, StateSet to)
	Adds an edge in the automaton.
void	add_edge (State from, SymbolSet on, State to)
	Adds an edge in the automaton.
void	add_transitions (Relation new_transitions)
	Adds transitions to the automaton.
bool	is_true () const
bool	is_false () const
RefNfa	deterministic () const
RefNfa	minimize () const
RefNfa	project (Domain vs) const
RefNfa	rename (VarMap map) const
RefNfa	rename (Domain vs1, Domain vs2) const
RefNfa	kleene () const
RefNfa	reverse () const
RefNfa	negate () const
RefNfa	operator! () const
RefNfa	with_starting_accepting (StateSet starting, StateSet accepting) const
RefNfa	filter_states (StateSet s) const
RefNfa	filter_states_live () const
RefNfa	filter_states_reachable () const
RefNfa	filter_states_productive () const
Friends
RefNfa	operator & (const RefNfa &a1, const RefNfa &a2)
RefNfa	operator| (const RefNfa &a1, const RefNfa &a2)
RefNfa	operator- (const RefNfa &a1, const RefNfa &a2)
RefNfa	operator * (const RefNfa &a1, const RefNfa &a2)

---

Constructor & Destructor Documentation

gautomata::RefNfa::RefNfa (  Nfa *  nfa  )

gautomata::RefNfa::RefNfa (  const Nfa &  a  )

gautomata::RefNfa::RefNfa (  const RefNfa &  a  )

gautomata::RefNfa::~RefNfa (   )

---

Member Function Documentation

void gautomata::RefNfa::add_edge (  State  from, SymbolSet  on, State  to )  [virtual]

Adds an edge in the automaton. For all symbols a in on, adds an edge (from, a, to) to the automaton. Parameters: from  State where the edge should originate on  Set on symbol on the new edge to  State where the edge should be destined Reimplemented from gautomata::WordAutomaton.

void gautomata::RefNfa::add_edge (  StateSet  from, SymbolSet  on, StateSet  to )  [virtual]

Adds an edge in the automaton. For all states q in from, all symbols a in on, and for all states q' in to, adds an edge (q, a, q') to the automaton. Parameters: from  Set of states where the edge should originate on  Set on symbol on the new edge to  Set of states where the edge should be destined Reimplemented from gautomata::WordAutomaton.

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

Implements gautomata::Nfa.

void gautomata::RefNfa::add_transitions (  Relation  new_transitions  )  [virtual]

Adds transitions to the automaton. Parameters: new_transitions  Transitions to add Reimplemented from gautomata::WordAutomaton.

SymbolSet gautomata::RefNfa::alphabet (   )  const [virtual]

Reimplemented from gautomata::WordAutomaton.

RefNfa gautomata::RefNfa::deterministic (   )  const

SymbolSet gautomata::RefNfa::edge_between (  State  q, State  r )  const [virtual]

Reimplemented from gautomata::WordAutomaton.

SymbolSet gautomata::RefNfa::edge_between (  StateSet  q, StateSet  r )  const [virtual]

Reimplemented from gautomata::WordAutomaton.

RefNfa gautomata::RefNfa::filter_states (  StateSet  s  )  const

RefNfa gautomata::RefNfa::filter_states_live (   )  const

RefNfa gautomata::RefNfa::filter_states_productive (   )  const

RefNfa gautomata::RefNfa::filter_states_reachable (   )  const

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

RefNfa gautomata::RefNfa::kleene (   )  const

RefNfa gautomata::RefNfa::minimize (   )  const

unsigned int gautomata::RefNfa::n_states (   )  const [virtual]

Reimplemented from gautomata::WordAutomaton.

RefNfa gautomata::RefNfa::negate (   )  const

RefNfa gautomata::RefNfa::operator! (   )  const [inline]

RefNfa & gautomata::RefNfa::operator= (  const RefNfa &  a  )

StateSet gautomata::RefNfa::predecessors (  StateSet  q, SymbolSet  on )  const [virtual]

Reimplemented from gautomata::WordAutomaton.

RefNfa gautomata::RefNfa::project (  Domain  vs  )  const

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Implements gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

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

Reimplemented from gautomata::Nfa.

Nfa * gautomata::RefNfa::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 from gautomata::Nfa.

StateSet gautomata::RefNfa::reachable_predecessors (  StateSet  q, SymbolSet  on )  const [virtual]

Reimplemented from gautomata::WordAutomaton.

StateSet gautomata::RefNfa::reachable_successors (  StateSet  q, SymbolSet  on )  const [virtual]

Reimplemented from gautomata::WordAutomaton.

RefNfa gautomata::RefNfa::rename (  Domain  vs1, Domain  vs2 )  const

RefNfa gautomata::RefNfa::rename (  VarMap  map  )  const

RefNfa gautomata::RefNfa::reverse (   )  const

StateSet gautomata::RefNfa::states (   )  const [virtual]

Implements gautomata::WordAutomaton.

StateSet gautomata::RefNfa::states_accepting (   )  const [virtual]

Implements gautomata::Nfa.

StateSet gautomata::RefNfa::states_starting (   )  const [virtual]

Implements gautomata::Nfa.

StateSet gautomata::RefNfa::successors (  StateSet  q, SymbolSet  on )  const [virtual]

Reimplemented from gautomata::WordAutomaton.

Relation gautomata::RefNfa::transitions (   )  const [virtual]

Reimplemented from gautomata::WordAutomaton.

RefNfa gautomata::RefNfa::with_starting_accepting (  StateSet  starting, StateSet  accepting )  const

---

Friends And Related Function Documentation

RefNfa operator & (  const RefNfa &  a1, const RefNfa &  a2 )  [friend]

RefNfa operator * (  const RefNfa &  a1, const RefNfa &  a2 )  [friend]

RefNfa operator- (  const RefNfa &  a1, const RefNfa &  a2 )  [friend]

RefNfa operator| (  const RefNfa &  a1, const RefNfa &  a2 )  [friend]

---

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

• refnfa.h
• refnfa.cc

---