[−][src]Function biodivine_lib_bdd::op_function::xor
pub fn xor(l: Option<bool>, r: Option<bool>) -> Option<bool>
Partial operator function corresponding to $x \not\Leftrightarrow y$.
pub fn xor(l: Option<bool>, r: Option<bool>) -> Option<bool>
Partial operator function corresponding to $x \not\Leftrightarrow y$.