Conjunction constructor

Conjunction(
  1. Iterable<Node> list
)

Creates a conjunction from an iterable list of goal nodes.

Implementation

factory(Iterable<Node> list) => Conjunction._(list.toList(growable: false));