Skip to content
Snippets Groups Projects
Commit 426b75cf authored by Jaime Arias's avatar Jaime Arias
Browse files

style: apply formatting

parent a1c3e114
Loading
Pipeline #9432 passed with stage
......@@ -262,10 +262,9 @@ bdd PetriNetSOG::OneStepBackUnobs(const bdd &from,
bdd res = bdd_false();
for (const auto t : non_observables) {
bdd pred = relation[t][from];
if((pred & aggr->bdd_state) != bdd_false()){
res = res | pred;
if ((pred & aggr->bdd_state) != bdd_false()) {
res = res | pred;
}
}
return res;
......@@ -307,16 +306,16 @@ Set PetriNetSOG::FirableObservableTrans(const bdd &from) const {
int PetriNetSOG::ComputeSingleWeight(const Aggregate *aggr, const int in,
const int out) const {
//std::cout<<"Ici Compute Single Weight"<<transitions[in].name<<" -->"<<transitions[out].name<<endl;
bdd source = SearchExitPoints(aggr->bdd_state, out);
const bdd dest = relation[in]((aggr->GetPredecessorsOfTrans(in))->bdd_state);
// backtracking from t_target until t_source
int counter = 0;
while ((source & dest) == bdd_false()) {
source = OneStepBackUnobs(source, aggr);
counter++;
}
//std::cout<<" --weight ="<<counter<<std::endl;
return counter;
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment