|
Go to the documentation of this file.
41 FD_DF( "LocalObservationConsistency...");
49 if ((plant_det == false) && (sup_det == true)) {
50 std::stringstream errstr;
51 errstr << "Plant generator must be deterministic, " << "but is nondeterministic";
52 throw Exception( "LocalObservationConsistency", errstr.str(), 201);
54 else if ((plant_det == true) && (sup_det == false)) {
55 std::stringstream errstr;
56 errstr << "Specification generator must be deterministic, " << "but is nondeterministic";
57 throw Exception( "LocalObservationConsistency", errstr.str(), 203);
59 else if ((plant_det == false) && (sup_det == false)) {
60 std::stringstream errstr;
61 errstr << "Plant and specification generator must be deterministic, "
62 << "but both are nondeterministic";
63 throw Exception( "LocalObservationConsistency", errstr.str(), 204);
67 aParallel(rPlantGen,rSpecGen,parallelGen);
69 if(! IsObs(parallelGen,rHighAlph) )
72 aProject(parallelGen,rHighAlph,highGen);
76 std::vector<StateSet> powerStates;
77 std::vector<Idx> detStates;
82 std::vector<StateSet>::const_iterator pIt, pEndIt;
83 pIt = powerStates.begin();
84 pEndIt = powerStates.end();
85 for(; pIt != pEndIt; pIt++){
86 StateSet::Iterator stIt;
95 controllableEvents. Insert(tIt->Ev);
99 for(; stIt != pIt->End(); stIt++ ){
101 otherControllableEvents. Clear();
106 otherControllableEvents. Insert(tIt->Ev);
111 if(controllableEvents != otherControllableEvents)
libFAUDES 2.26g
--- 2015.08.17
--- c++ api documentaion by doxygen
|