Function biodivine_sketchbook::algorithms::fo_logic::eval_algorithm::eval_xor

source ยท 
fn eval_xor(
    graph: &SymbolicAsyncGraph,
    left: &GraphColoredVertices,
    right: &GraphColoredVertices,
) -> GraphColoredVertices
Expand description

Evaluate the non-equivalence operation (xor).