notio
Interface QuantifierMacro


public interface QuantifierMacro
extends Macro

Interface for quantifier macros. This interface is an extension of the Macro interface with no additions. It is provided chiefly as a means for differentiating quantifier macros from other macros and also in case any quantifier specific interface needs to be added in the future.


Methods inherited from interface notio.Macro
executeMacro, getName
 



Copyright 1998-1999 Finnegan Southey