Meaning of coreachable | Babel Free

Definitions

Mutually reachable, that is, for any two nodes n1 and n2, they are coreachable iff n1 is reachable from n2 and n2 is reachable from n1.

not-comparable

Examples

“Further, non coreachable nodes are qualified as forbidden. The loop terminates when all forbidden markings (those initially declared and those newly identified) are processed.”

“Two cycles are coreachable if there exists a path from any of them to the other one.”

CEFR level