UserConstrainedGraph
constrained
UserConstrainedGraphImpl
immutable
mutable
unapply
PreCheckResult
Result