harpoon.Tools.PatMat
Class CommutativityExpander
java.lang.Object
harpoon.Tools.PatMat.CommutativityExpander
public abstract class CommutativityExpander
- extends Object
The CommutativityExpander tool expands a set of
Spec.Rules to include add'l valid patterns
generated from the commutative properties of various
Spec.ExpBinops.
- Version:
- $Id: CommutativityExpander.java,v 1.2 2002/02/25 21:08:30 cananian Exp $
- Author:
- C. Scott Ananian <cananian@alumni.princeton.edu>
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
expand
public static Spec expand(Spec s)