# Gecode::DFA::DFAI Class Reference

Inherits Gecode::SharedHandle::Object.

## Detailed Description

Data stored for a DFA.Definition at line 44 of file dfa.icc.

## Public Member Functions | |

void | fill (void) |

Fill hash table. | |

DFAI (unsigned int nt) | |

Initialize automaton implementation with nt transitions. | |

DFAI (void) | |

Initialize automaton implementation as empty. | |

virtual | ~DFAI (void) |

Delete automaton implemenentation. | |

virtual SharedHandle::Object * | copy (void) const |

Create a copy. | |

## Public Attributes | |

unsigned int | n_states |

Number of states. | |

unsigned int | n_symbols |

Number of symbols. | |

unsigned int | n_trans |

Number of transitions. | |

int | final_fst |

First final state. | |

int | final_lst |

Last final state. | |

Transition * | trans |

The transitions. | |

HashEntry * | table |

The transition hash table by symbol. | |

int | n_log |

Size of table (as binary logarithm). | |

## Classes | |

class | HashEntry |

Specification of transition range. More... |

## Constructor & Destructor Documentation

Gecode::DFA::DFAI::DFAI | ( | unsigned int | nt |
) | ` [inline]` |

Gecode::DFA::DFAI::DFAI | ( | void | ) |

Initialize automaton implementation as empty.

Gecode::DFA::DFAI::~DFAI | ( | void | ) | ` [inline, virtual]` |

## Member Function Documentation

SharedHandle::Object * Gecode::DFA::DFAI::copy | ( | void | ) | const` [virtual]` |

## Member Data Documentation

unsigned int Gecode::DFA::DFAI::n_states |

unsigned int Gecode::DFA::DFAI::n_symbols |

unsigned int Gecode::DFA::DFAI::n_trans |

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

- gecode/int/extensional/dfa.icc (Revision: 6102)
- gecode/int/extensional/dfa.cc (Revision: 7288)