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.ExpBinop
s.
- 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)