libFAUDES

Sections

Index

hio_constraint.cpp File Reference


Detailed Description

Generator with I/O-constraint attributes.

#include "hio_constraint.h"

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.

libFAUDES 2.13a c++ source docu by doxygen 1.5.6