hio_constraint.cpp File Reference
#include "hio_constraint.h"

Go to the source code of this file.

Namespaces

 faudes
 

Functions

bool faudes::IsHioConstraintForm (HioConstraint &rHioConstraint, StateSet &rQY, StateSet &rQU, EventSet &rErrEvSet, TransSet &rErrTrSet, StateSet &rErrStSet, std::string &rReportStr)
 
bool faudes::IsHioConstraintForm (HioConstraint &rHioConstraint, std::string &rReportStr)
 
bool faudes::IsHioConstraintForm (HioConstraint &rHioConstraint)
 
void faudes::HioStatePartition (HioConstraint &rHioConstraint)
 

Detailed Description

Generator with I/O-constraint attributes

Definition in file hio_constraint.cpp.

libFAUDES 2.33c --- 2025.05.15 --- c++ api documentaion by doxygen