notio
Interface QuantifierMacro

All Superinterfaces:
Macro

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-2001 Finnegan Southey