expression a = (x1=x2?1:0) ??

[Momtez Benmbarek]

Hello could you explaine what is this expression an what a would be contain (a) eventually .

expression a = (x1=x2?1:0) ??

thank you.

[Gethin Norman]

The term x1=x2?1:0 translates to “if (x1=x2) then 1 else 0”

thanks

Gethin

> --
> You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchec...@googlegroups.com.
> To post to this group, send email to prismmod...@googlegroups.com.
> Visit this group at https://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/d/optout.

[Momtez Benmbarek]

thanks 

[Momtez Benmbarek]

thanks