coFactor(v,vi) gives the resulting MDD where v=vi
coFactor(v,vi) gives the resulting MDD where v=vi
the label to assign
the value to assign
the coFactor of this BDD
F.applyCase(t1->G1,..,tp->Gp) apply MDD Gi if F=ti, thus we must have p=|terminals|
F.applyCase(t1->G1,..,tp->Gp) apply MDD Gi if F=ti, thus we must have p=|terminals|
gives for each terminal ti of F the corresponding alternative
the resulting MDD after application of alternatives
apply the case operator by giving the alternative in order according to the mdd terminals order
apply the case operator by giving the alternative in order according to the mdd terminals order
alternative fo terminal i
the resulting MDD
apply the case operator by setting all terminals alternatives which are not in altsMap to the default value
apply the case operator by setting all terminals alternatives which are not in altsMap to the default value
the alternative map
the default value
the resulting MDD
apply the case operator by setting all terminals alternatives which are not in altsMap to the trash terminal
apply the case operator by setting all terminals alternatives which are not in altsMap to the trash terminal
the alternative map
the resulting MDD
Reference based equality.
Reference based equality.
adds all the path to the terminal as forbidden values and returns the result
adds all the path to the terminal as forbidden values and returns the result
the terminal to remove
adds all the path to the terminal as forbidden values and returns the result
adds all the path to the terminal as forbidden values and returns the result
the terminals to remove