hio_constraint.cpp File Reference
Detailed Description
Generator with I/O-constraint attributes.
Definition in file hio_constraint.cpp.
#include "hio_constraint.h"
Go to the source code of this file.
|
Namespaces |
namespace | faudes |
Functions |
bool | faudes::IsIoConstraintForm (HioConstraint &rHioConstraint, StateSet &rQY, StateSet &rQU, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, std::string &ReportStr) |
| IsIoConstraintForm: check if rHioConstraint is in I/O-constraint form and assign state attributes.
|
bool | faudes::IsIoConstraintForm (HioConstraint &rHioConstraint, std::string &ReportStr) |
| IsIoConstraintForm: check if rHioConstraint is in I/O-constraint form and assign state attributes.
|
bool | faudes::IsIoConstraintForm (HioConstraint &rHioConstraint) |
| IsIoConstraintForm: check if rHioConstraint is in I/O-constraint form and assign state attributes.
|
void | faudes::IsIoConstraintForm (HioConstraint &rHioConstraint, bool &rRes) |
| Function definition for run-time interface.
|
void | faudes::IoStatePartition (HioConstraint &rConstraint) |
| Function definition for run-time interface.
|