org.clafer.ir.analysis

Class DuplicateConstraints

java.lang.Object

org.clafer.ir.analysis.DuplicateConstraints

public class DuplicateConstraints
extends Object

Remove constraints that are duplicated. One example is to remove weaker constraints that are already enforced by stronger ones. Another example is due to coalescing, it is possible to end up with multiple cardinality variables for the same set. Remove the duplicates.

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
static IrModule	removeDuplicates(IrModule module) Reduce.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

removeDuplicates

public static IrModule removeDuplicates(IrModule module)

Reduce.

1. a = b & a ≤ b to a = b
2. a ≠ b & a < b to a < b
3. a ≠ b & a ≤ b to a < b
4. a < b & a ≤ b to a < b
5. a ≤ b & b ≤ a to a = b

Parameters:

module - the module to remove duplicates

Returns:

the optimized module