|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |