Function biodivine_sketchbook::algorithms::fo_logic::eval_algorithm::eval_neg

source ยท 
fn eval_neg(
    graph: &SymbolicAsyncGraph,
    set: &GraphColoredVertices,
) -> GraphColoredVertices
Expand description

Evaluate negation respecting the allowed universe.