ell::WAC_MaxLength Class Reference
#include <WalkAbortionCriterion.hh>
Inheritance diagram for ell::WAC_MaxLength:
Detailed Description
This subclass of WalkAbortionCriterion aborts a walk if the number of accepted States exceeds a predefined boundary.
Definition at line 34 of file WalkAbortionCriterion.hh.
Public Member Functions | |
| bool | abort (StateCollector *sc) const |
| size_t | getMaxLength (void) const |
| void | setMaxLength (size_t maxLength) |
| WAC_MaxLength (const size_t max) | |
Private Attributes | |
| size_t | maxStates |
Constructor & Destructor Documentation
| ell::WAC_MaxLength::WAC_MaxLength | ( | const size_t | max | ) |
Constructs a WalkAbortionCriterion that aborts when a maximum number of accepted states is reached.
- Parameters:
-
max maximum number of accepted states
Definition at line 10 of file WalkAbortionCriterion.cc.
Member Function Documentation
| bool ell::WAC_MaxLength::abort | ( | StateCollector * | sc | ) | const [virtual] |
Returns true if the StateCollector sc fulfills a defined property.
Implements ell::WalkAbortionCriterion.
Definition at line 15 of file WalkAbortionCriterion.cc.
| size_t ell::WAC_MaxLength::getMaxLength | ( | void | ) | const |
Access to the current maximal length allowed by this WAC.
- Returns:
- the maximal length
Definition at line 24 of file WalkAbortionCriterion.cc.
| void ell::WAC_MaxLength::setMaxLength | ( | size_t | maxLength | ) |
Sets a new maximal length that should be allowed by this WAC.
- Parameters:
-
maxLength the maximal length to set
Definition at line 29 of file WalkAbortionCriterion.cc.
Field Documentation
size_t ell::WAC_MaxLength::maxStates [private] |
The documentation for this class was generated from the following files:
- src/ell/WalkAbortionCriterion.hh
- src/ell/WalkAbortionCriterion.cc