net.sourceforge.czt.circus.ast

Interface ProcessIdx

All Superinterfaces:

CircusProcess, Process1, ProcessD, ProcessIte, Term

All Known Subinterfaces:

AlphabetisedParallelProcessIdx, ExtChoiceProcessIdx, IntChoiceProcessIdx, InterleaveProcessIdx, ParallelProcessIdx, ParProcessIdx, SeqProcessIdx

All Known Implementing Classes:

AlphabetisedParallelProcessIdxImpl, ExtChoiceProcessIdxImpl, IntChoiceProcessIdxImpl, InterleaveProcessIdxImpl, ParallelProcessIdxImpl, ParProcessIdxImpl, ProcessIdxImpl, SeqProcessIdxImpl

public interface ProcessIdx
extends ProcessIte

An abstract indexed and iterated Circus process with Z declarations.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Methods inherited from interface net.sourceforge.czt.circus.ast.ProcessD

getCircusBasicProcess, getDeclList, getZDeclList, isBasicProcess, setDeclList

Methods inherited from interface net.sourceforge.czt.circus.ast.Process1

getCircusProcess, setCircusProcess

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

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