alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

derive: handle AndNLM

Browse source
This commit is contained in:
Antoine Martin 2022-03-18 19:27:37 +01:00
parent 6882611d25
commit 0d6c3cd6e9
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
spot/tl/derive.cc
View file

@ -310,6 +310,12 @@ namespace spot
return formula::multop(f.kind(), std::move(subderivations)); return formula::multop(f.kind(), std::move(subderivations));
} }
case op::AndNLM:
{
formula rewrite = rewrite_and_nlm(f);
return partial_derivation(rewrite, var, d, owner);
}
// d(E:F) = {d(E):F} U {c(d(E)).d(F)} // d(E:F) = {d(E):F} U {c(d(E)).d(F)}
case op::Fusion: case op::Fusion:
{ {