LinearOrder constructor

LinearOrder(Sort sort, int id)

Implementation

LinearOrder(Sort sort, this.id)
    : super(
        parameters: [id],
        domain: [sort, sort],
        range: BoolSort(),
        name: const Sym('linear-order'),
        kind: FuncKind.specialRelationLo,
      );