gautomata::Nfa::Factory Class Reference

#include <nfa.h>

Inheritance diagram for gautomata::Nfa::Factory:

List of all members.

Public Member Functions
virtual	~Factory ()
virtual Nfa *	ptr_empty () const=0
virtual Nfa *	ptr_universal () const
virtual Nfa *	ptr_epsilon () const
virtual Nfa *	ptr_symbol (SymbolSet sym) const
Nfa *	ptr_random (unsigned int n_states, unsigned int n_vars, float edge_density=0.5, float symbol_density=0.5) const
	Generate random automaton.
Nfa *	ptr_clone (const Nfa &a) const
virtual StructureConstraint *	ptr_forall (const BoolConstraint &c) const

---

Constructor & Destructor Documentation

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

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

---

Member Function Documentation

Nfa * gautomata::Nfa::Factory::ptr_clone (  const Nfa &  a  )  const

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

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

Nfa * gautomata::Nfa::Factory::ptr_epsilon (   )  const [virtual]

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

StructureConstraint * gautomata::Nfa::Factory::ptr_forall (  const BoolConstraint &  c  )  const [virtual]

Nfa * gautomata::Nfa::Factory::ptr_random (  unsigned int  n_states, unsigned int  n_vars, float  edge_density = 0.5, float  symbol_density = 0.5 )  const

Generate random automaton. Parameters: n_states  Number of states in generated automaton n_vars  Number of BDD variables used in alphabet edge_density  Probability of existing an edge between two states symbol_density  Probability of each variable being constrained in an edge Returns: Automaton with n_states number of states and possible using up to n_vars number of variables on edges.

Nfa * gautomata::Nfa::Factory::ptr_symbol (  SymbolSet  sym  )  const [virtual]

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

Nfa * gautomata::Nfa::Factory::ptr_universal (   )  const [virtual]

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

---

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

• nfa.h
• nfa.cc

---