User utility to determine if a specified community is a valid cover

User utility to determine if a specified community is a valid cover

Usage

ISCOVER(tr, S)

Arguments

tr

A community

S

The subset family

Value

TRUE if tr is a cover of S; FALSE otherwise