TransitiveClosure constructor

TransitiveClosure(FuncDecl relation)

Implementation

TransitiveClosure(this.relation)
    : assert(relation.domain.length == 2),
      super(
        parameters: [relation],
        domain: [relation.domain[0], relation.domain[1]],
        range: BoolSort(),
        name: const Sym('transitive-closure'),
        kind: FuncKind.specialRelationTc,
      );