Predicate signature InputSig::neverSkipInPathGraph
Holds if n
should never be skipped over in the PathGraph
and in path
explanations.
signature predicate neverSkipInPathGraph(Node n)
Holds if n
should never be skipped over in the PathGraph
and in path
explanations.
signature predicate neverSkipInPathGraph(Node n)