Member predicate Configuration::allowImplicitRead
Holds if an arbitrary number of implicit read steps of content c
may be
taken at node
.
predicate allowImplicitRead(Node node, ContentSet c)
Holds if an arbitrary number of implicit read steps of content c
may be
taken at node
.
predicate allowImplicitRead(Node node, ContentSet c)