On 8/11/21 10:53 AM, Patrick Palka wrote:
On Wed, 11 Aug 2021, Jason Merrill wrote:
On 8/9/21 5:07 PM, Patrick Palka wrote:
On Wed, Jul 28, 2021 at 4:42 PM Jason Merrill wrote:
On 7/19/21 6:05 PM, Patrick Palka wrote:
Constraint subsumption is implemented in two steps. The first step
comp
On Wed, 11 Aug 2021, Jason Merrill wrote:
> On 8/9/21 5:07 PM, Patrick Palka wrote:
> > On Wed, Jul 28, 2021 at 4:42 PM Jason Merrill wrote:
> > >
> > > On 7/19/21 6:05 PM, Patrick Palka wrote:
> > > > Constraint subsumption is implemented in two steps. The first step
> > > > computes the disju
On 8/9/21 5:07 PM, Patrick Palka wrote:
On Wed, Jul 28, 2021 at 4:42 PM Jason Merrill wrote:
On 7/19/21 6:05 PM, Patrick Palka wrote:
Constraint subsumption is implemented in two steps. The first step
computes the disjunctive (or conjunctive) normal form of one of the
constraints, and the se
On Wed, Jul 28, 2021 at 4:42 PM Jason Merrill wrote:
>
> On 7/19/21 6:05 PM, Patrick Palka wrote:
> > Constraint subsumption is implemented in two steps. The first step
> > computes the disjunctive (or conjunctive) normal form of one of the
> > constraints, and the second step verifies that each
On 7/19/21 6:05 PM, Patrick Palka wrote:
Constraint subsumption is implemented in two steps. The first step
computes the disjunctive (or conjunctive) normal form of one of the
constraints, and the second step verifies that each clause in the
decomposed form implies the other constraint. Perfor
On Mon, 19 Jul 2021, Patrick Palka wrote:
> Constraint subsumption is implemented in two steps. The first step
> computes the disjunctive (or conjunctive) normal form of one of the
> constraints, and the second step verifies that each clause in the
> decomposed form implies the other constraint.
Constraint subsumption is implemented in two steps. The first step
computes the disjunctive (or conjunctive) normal form of one of the
constraints, and the second step verifies that each clause in the
decomposed form implies the other constraint. Performing these two
steps separately is problema
