libFAUDES

Sections

Index

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.

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6