net.sourceforge.czt.circus.ast

Interface NameSet

All Superinterfaces:

Term

All Known Subinterfaces:

CircusNameSet

All Known Implementing Classes:

CircusNameSetImpl, NameSetImpl

public interface NameSet
extends Term

Abstract base classe for Circus name set expressions. There are two implementations: one for CircusNameSets appearing in specifications; and one for name set jokers appearing in refinement laws.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn