Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

gautomata::RefNfa Class Reference

#include <refnfa.h>

Inheritance diagram for gautomata::RefNfa:

gautomata::Nfa gautomata::WordAutomaton gautomata::Automaton List of all members.

Public Member Functions

 RefNfa (Nfa *nfa)
 RefNfa (const Nfa &a)
 RefNfa (const RefNfa &a)
 ~RefNfa ()
RefNfaoperator= (const RefNfa &a)
Nfa::Factoryptr_factory () const
Nfaptr_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
Nfaptr_product (const Nfa &a2, bool(*fn)(bool v1, bool v2)) const
Nfaptr_concatenation (const Nfa &a2) const
Nfaptr_deterministic () const
Nfaptr_minimize () const
Nfaptr_project (Domain vs) const
Nfaptr_rename (VarMap map) const
Nfaptr_rename (Domain vs1, Domain vs2) const
Nfaptr_kleene () const
Nfaptr_reverse () const
Nfaptr_negate () const
Nfaptr_with_starting_accepting (StateSet starting, StateSet accepting) const
 Change starting and accepting states of automaton.

Nfaptr_filter_states (StateSet s) const
Nfaptr_filter_states_live () const
Nfaptr_filter_states_reachable () const
Nfaptr_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:
Generated on Mon Aug 1 04:11:19 2005 for gautomata by doxygen 1.3.6