|
Go to the documentation of this file.
33 OP_DF( "IsMutuallyControllable(" << rGen1. Name() << ", "
34 << rGen2. Name() << ")");
45 OP_DF( "IsMutuallyControllable(" << rGen1. Name() << ", "
46 << rGen2. Name() << ", rForbidden1, rForbidden2)");
50 OP_DF( "IsMutuallyControllable: shared events \"" << alph12.ToString()
54 OP_DF( "IsMutuallyControllable: shared alphabet empty. "
55 << "terminating successful");
60 OP_DF( "IsMutuallyControllable: shared uncontrollable events \""
63 if (ualph12. Empty()) {
64 OP_DF( "IsMutuallyControllable: shared uncontrollable alphabet empty "
65 << "terminating successful");
82 if (result1 == false) {
83 OP_DF( "IsMutuallyControllable(" << rGen1. Name() << ", " << rGen2. Name()
84 << "): uncontrollable states: " << rForbidden1. ToString());
93 if (result2 == false) {
94 OP_DF( "IsMutuallyControllable(" << rGen1. Name() << ", " << rGen2. Name()
95 << "): uncontrollable states: " << rForbidden2. ToString());
98 if (result1 && result2) {
99 OP_DF( "IsMutuallyControllable: fulfilled");
102 OP_DF( "IsMutuallyControllable: failed");
105 return (result1 && result2);
libFAUDES 2.26g
--- 2015.08.17
--- c++ api documentaion by doxygen
|