net.sourceforge.czt.circus.ast

Interface ChannelSet

All Superinterfaces:

Term

All Known Subinterfaces:

CircusChannelSet

All Known Implementing Classes:

ChannelSetImpl, CircusChannelSetImpl

public interface ChannelSet
extends Term

Abstract base classe for Circus channel set expressions. There are two implementations: one for normal CircusChannelSets appearing in specifications; and one for chennel 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