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

gautomata::Nfa Class Reference

#include <nfa.h>

Inheritance diagram for gautomata::Nfa:

gautomata::WordAutomaton gautomata::Automaton gautomata::BNfa gautomata::MNfa gautomata::RefNfa List of all members.

Public Types

typedef pair< State, StateStatePair

Public Member Functions

virtual Factoryptr_factory () const=0
virtual ~Nfa ()
virtual Nfaptr_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, Statecopy_states (const Nfa &a, StateSet states_to_copy, StateSet accepting, StateSet starting)
hash_map< State, Statecopy_states_and_transitions (const Nfa &a, StateSet states_to_copy, StateSet accepting, StateSet starting)
Nfaptr_product (const gbdd::BddBased &a2, bool(*fn)(bool v1, bool v2)) const
virtual Nfaptr_product (const Nfa &a2, bool(*fn)(bool v1, bool v2)) const
virtual Nfaptr_product_and (const Nfa &a2) const
virtual Nfaptr_product_or (const Nfa &a2) const
virtual Nfaptr_product_minus (const Nfa &a2) const
virtual Nfaptr_concatenation (const Nfa &a2) const
virtual Var highest_var () const
virtual Var lowest_var () const
virtual Nfaptr_constrain_value (Var v, bool value) const
virtual Nfaptr_deterministic () const
virtual Nfaptr_minimize () const
virtual Nfaptr_project (Domain vs) const
virtual Nfaptr_rename (VarMap map) const
virtual Nfaptr_rename (Domain vs1, Domain vs2) const
virtual Nfaptr_kleene () const
virtual Nfaptr_reverse () const
virtual Nfaptr_negate () const
virtual Nfaptr_with_starting_accepting (StateSet starting, StateSet accepting) const
 Change starting and accepting states of automaton.

virtual Nfaptr_filter_states (StateSet s) const
virtual Nfaptr_filter_states_live () const
virtual Nfaptr_filter_states_reachable () const
virtual Nfaptr_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< StatePairfind_simulation_forward (const Nfa &a2, const StateSet &a1_states, const StateSet &a2_states) const
set< StatePairfind_simulation_backward (const Nfa &a2, const StateSet &a1_states, const StateSet &a2_states) const
set< StatePairfind_simulation_forward (const Nfa &a2) const
set< StatePairfind_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:
Generated on Thu Aug 12 13:37:41 2004 for gautomata by doxygen 1.3.6