PiecewiseLinearOrder constructor

PiecewiseLinearOrder(
  1. Sort sort,
  2. int id
)

Implementation

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