Commit 2bc7f9da authored by Tomi J. Lindroos's avatar Tomi J. Lindroos
Browse files

Adding feature requested in issue #155

parent cfada579
......@@ -571,6 +571,18 @@ uft(unit, ft(f, t))${ [ ord(t) < p_unit(unit, 'becomeAvailable') and p_unit(un
or [ ord(t) >= p_unit(unit, 'becomeUnavailable') and p_unit(unit, 'becomeUnavailable') ]
}
= no;
// Unless before becomeUnavailable if becomeUnavailable < becomeAvailable (maintenance break case)
uft(unit, ft(f, t))${ [p_unit(unit, 'becomeAvailable') and p_unit(unit, 'becomeUnavailable')]
and [ord(t) < p_unit(unit, 'becomeUnavailable')]
and [p_unit(unit, 'becomeUnavailable') < p_unit(unit, 'becomeAvailable')]
}
= yes;
// Unless after becomeAvailable if becomeUnavailable < becomeAvailable (maintenance break case)
uft(unit, ft(f, t))${ [p_unit(unit, 'becomeAvailable') and p_unit(unit, 'becomeUnavailable')]
and [ord(t) >= p_unit(unit, 'becomeAvailable')]
and [p_unit(unit, 'becomeUnavailable') < p_unit(unit, 'becomeAvailable')]
}
= yes;
// First ft:s for each aggregator unit
Option clear = uft_aggregator_first;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment