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

gautomata::Nfa::Factory Class Reference

#include <nfa.h>

Inheritance diagram for gautomata::Nfa::Factory:

gautomata::BNfa::Factory gautomata::MNfa::Factory gautomata::RefNfa::Factory List of all members.

Public Member Functions

virtual ~Factory ()
virtual Nfaptr_empty () const=0
virtual Nfaptr_universal () const
virtual Nfaptr_epsilon () const
virtual Nfaptr_symbol (SymbolSet sym) const
Nfaptr_random (unsigned int n_states, unsigned int n_vars, float edge_density=0.5, float symbol_density=0.5) const
 Generate random automaton.

Nfaptr_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:
Generated on Thu Aug 12 13:37:41 2004 for gautomata by doxygen 1.3.6