A B C D E F G H I J K L M N O P R S T U V X Z

V

V - Static variable in class circusRefine.UtilCircus.CircusChar

V - Static variable in interface circusRefine.UtilCircus.CircusString

VDASH - Static variable in class circusRefine.UtilZString.ZChar

right tack.

VDASH - Static variable in interface circusRefine.UtilZString.ZString

right tack.

visitAction1(Action1) - Method in class circusRefine.core.print.ActionPrint

visitAction2(Action2) - Method in class circusRefine.core.print.ActionPrint

visitActionD(ActionD) - Method in class circusRefine.core.print.ActionPrint

visitActionIte(ActionIte) - Method in class circusRefine.core.print.ActionPrint

visitActionPara(ActionPara) - Method in class circusRefine.core.print.ParaPrint

visitActionPara(ActionPara) - Method in class circusRefine.core.util.ActionParaFinder

Insere as ActionPara na lista

visitAlphabetisedParallelAction(AlphabetisedParallelAction) - Method in class circusRefine.core.print.ActionPrint

visitAlphabetisedParallelActionIte(AlphabetisedParallelActionIte) - Method in class circusRefine.core.print.ActionPrint

visitAlphabetisedParallelProcess(AlphabetisedParallelProcess) - Method in class circusRefine.core.print.ProcessPrint

visitAlphabetisedParallelProcessIdx(AlphabetisedParallelProcessIdx) - Method in class circusRefine.core.print.ProcessPrint

visitAlphabetisedParallelProcessIte(AlphabetisedParallelProcessIte) - Method in class circusRefine.core.print.ProcessPrint

visitAndPred(AndPred) - Method in class circusRefine.core.print.PredPrint

AndPred instances are visited separately from Pred2 instances because they have extra requires if they are a chain relation.

visitApplExpr(ApplExpr) - Method in class circusRefine.core.print.ExprPrint

visitAssignmentCommand(AssignmentCommand) - Method in class circusRefine.core.print.CommandPrint

visitAxPara(AxPara) - Method in class circusRefine.core.print.ParaPrint

visitBasicAction(BasicAction) - Method in class circusRefine.core.print.ActionPrint

visitBasicChannelSetExpr(BasicChannelSetExpr) - Method in class circusRefine.core.print.ExprPrint

visitBasicProcess(BasicProcess) - Method in class circusRefine.core.print.ProcessPrint

visitBindExpr(BindExpr) - Method in class circusRefine.core.print.ExprPrint

visitBindSelExpr(BindSelExpr) - Method in class circusRefine.core.print.ExprPrint

visitCallAction(CallAction) - Method in class circusRefine.core.print.ActionPrint

visitCallProcess(CallProcess) - Method in class circusRefine.core.print.ProcessPrint

visitChannelDecl(ChannelDecl) - Method in class circusRefine.core.print.DeclPrint

visitChannelPara(ChannelPara) - Method in class circusRefine.core.print.ParaPrint

visitChannelSet(ChannelSet) - Method in class circusRefine.core.print.ExprPrint

visitChannelSetPara(ChannelSetPara) - Method in class circusRefine.core.print.ParaPrint

visitChaosAction(ChaosAction) - Method in class circusRefine.core.print.ActionPrint

visitCircusAction(CircusAction) - Method in class circusRefine.core.print.ActionPrint

visitCircusCommand(CircusCommand) - Method in class circusRefine.core.print.ActionPrint

visitCircusCommand(CircusCommand) - Method in class circusRefine.core.print.CommandPrint

visitCircusConjPara(CircusConjPara) - Method in class circusRefine.core.print.ParaPrint

visitCircusProcess(CircusProcess) - Method in class circusRefine.core.print.ProcessPrint

visitClassPara(ClassPara) - Method in class circusRefine.core.print.ParaPrint

visitCommunication(Communication) - Method in class circusRefine.core.print.CommunPrint

visitCompExpr(CompExpr) - Method in class circusRefine.core.print.ExprPrint

visitCondExpr(CondExpr) - Method in class circusRefine.core.print.ExprPrint

visitConjPara(ConjPara) - Method in class circusRefine.core.print.ParaPrint

visitConstDecl(ConstDecl) - Method in class circusRefine.core.print.DeclPrint

visitDecl(Decl) - Method in class circusRefine.core.print.DeclPrint

visitDecorExpr(DecorExpr) - Method in class circusRefine.core.print.ExprPrint

visitDotField(DotField) - Method in class circusRefine.core.print.CommunPrint

visitExprPred(ExprPred) - Method in class circusRefine.core.print.PredPrint

visitExtChoiceAction(ExtChoiceAction) - Method in class circusRefine.core.print.ActionPrint

visitExtChoiceActionIte(ExtChoiceActionIte) - Method in class circusRefine.core.print.ActionPrint

visitExtChoiceProcess(ExtChoiceProcess) - Method in class circusRefine.core.print.ProcessPrint

visitExtChoiceProcessIdx(ExtChoiceProcessIdx) - Method in class circusRefine.core.print.ProcessPrint

visitExtChoiceProcessIte(ExtChoiceProcessIte) - Method in class circusRefine.core.print.ProcessPrint

visitFalsePred(FalsePred) - Method in class circusRefine.core.print.PredPrint

visitField(Field) - Method in class circusRefine.core.print.CommunPrint

visitFreePara(FreePara) - Method in class circusRefine.core.print.ParaPrint

visitFreetype(Freetype) - Method in class circusRefine.core.print.ParaPrint

visitGivenPara(GivenPara) - Method in class circusRefine.core.print.ParaPrint

visitGuardedAction(GuardedAction) - Method in class circusRefine.core.print.ActionPrint

visitHideAction(HideAction) - Method in class circusRefine.core.print.ActionPrint

visitHideExpr(HideExpr) - Method in class circusRefine.core.print.ExprPrint

visitHideProcess(HideProcess) - Method in class circusRefine.core.print.ProcessPrint

visitIfGuardedCommand(IfGuardedCommand) - Method in class circusRefine.core.print.CommandPrint

visitInclDecl(InclDecl) - Method in class circusRefine.core.print.DeclPrint

visitIndexedProcess(IndexedProcess) - Method in class circusRefine.core.print.ProcessPrint

visitInputField(InputField) - Method in class circusRefine.core.print.CommunPrint

visitIntChoiceAction(IntChoiceAction) - Method in class circusRefine.core.print.ActionPrint

visitIntChoiceActionIte(IntChoiceActionIte) - Method in class circusRefine.core.print.ActionPrint

visitIntChoiceProcess(IntChoiceProcess) - Method in class circusRefine.core.print.ProcessPrint

visitIntChoiceProcessIdx(IntChoiceProcessIdx) - Method in class circusRefine.core.print.ProcessPrint

visitIntChoiceProcessIte(IntChoiceProcessIte) - Method in class circusRefine.core.print.ProcessPrint

visitInterleaveAction(InterleaveAction) - Method in class circusRefine.core.print.ActionPrint

visitInterleaveActionIte(InterleaveActionIte) - Method in class circusRefine.core.print.ActionPrint

visitInterleaveProcess(InterleaveProcess) - Method in class circusRefine.core.print.ProcessPrint

visitInterleaveProcessIdx(InterleaveProcessIdx) - Method in class circusRefine.core.print.ProcessPrint

visitInterleaveProcessIte(InterleaveProcessIte) - Method in class circusRefine.core.print.ProcessPrint

visitJokerAction(JokerAction) - Method in class circusRefine.core.crules.BuilderVisitor

Procura a CircusAction correspondente a um JokerAction.

visitJokerAction(JokerAction) - Method in class circusRefine.core.crules.UnifierVisitor

Trata o JokerAction encontrado no termo da lei, executando um link com o termo real

visitJokerAction(JokerAction) - Method in class circusRefine.core.util.JokerNameGetterVisitor

Retorna o nome de um JokerAction

visitJokers(Jokers) - Method in class circusRefine.core.print.ParaPrint

visitLambdaExpr(LambdaExpr) - Method in class circusRefine.core.print.ExprPrint

visitLatexMarkupPara(LatexMarkupPara) - Method in class circusRefine.core.print.ParaPrint

visitLetExpr(LetExpr) - Method in class circusRefine.core.print.ExprPrint

visitMemPred(MemPred) - Method in class circusRefine.core.print.PredPrint

visitMuAction(MuAction) - Method in class circusRefine.core.print.ActionPrint

visitMuExpr(MuExpr) - Method in class circusRefine.core.print.ExprPrint

visitNameSet(NameSet) - Method in class circusRefine.core.print.ExprPrint

visitNameSetPara(NameSetPara) - Method in class circusRefine.core.print.ParaPrint

visitNarrPara(NarrPara) - Method in class circusRefine.core.print.ParaPrint

visitNarrSect(NarrSect) - Method in class circusRefine.core.print.ProgramPrint

visitNegExpr(NegExpr) - Method in class circusRefine.core.print.ExprPrint

visitNegPred(NegPred) - Method in class circusRefine.core.print.PredPrint

visitNumExpr(NumExpr) - Method in class circusRefine.core.print.ExprPrint

visitOutputField(OutputField) - Method in class circusRefine.core.print.CommunPrint

visitPara(Para) - Method in class circusRefine.core.print.ParaPrint

Any "left-over" paragraphs.

visitParAction(ParAction) - Method in class circusRefine.core.print.ActionPrint

visitParActionIte(ParActionIte) - Method in class circusRefine.core.print.ActionPrint

visitParallelAction(ParallelAction) - Method in class circusRefine.core.print.ActionPrint

visitParallelActionIte(ParallelActionIte) - Method in class circusRefine.core.print.ActionPrint

visitParallelProcess(ParallelProcess) - Method in class circusRefine.core.print.ProcessPrint

visitParallelProcessIdx(ParallelProcessIdx) - Method in class circusRefine.core.print.ProcessPrint

visitParallelProcessIte(ParallelProcessIte) - Method in class circusRefine.core.print.ProcessPrint

visitParamAction(ParamAction) - Method in class circusRefine.core.print.ActionPrint

visitParamProcess(ParamProcess) - Method in class circusRefine.core.print.ProcessPrint

visitParent(Parent) - Method in class circusRefine.core.print.ProgramPrint

visitParProcess(ParProcess) - Method in class circusRefine.core.print.ProcessPrint

visitParProcessIdx(ParProcessIdx) - Method in class circusRefine.core.print.ProcessPrint

visitParProcessIte(ParProcessIte) - Method in class circusRefine.core.print.ProcessPrint

visitPipeExpr(PipeExpr) - Method in class circusRefine.core.print.ExprPrint

visitPowerExpr(PowerExpr) - Method in class circusRefine.core.print.ExprPrint

visitPred(Pred) - Method in class circusRefine.core.print.PredPrint

visitPred2(Pred2) - Method in class circusRefine.core.print.PredPrint

IffPred, ImpliesPred, and OrPred instances are visited as an instance of their super class Pred2.

visitPreExpr(PreExpr) - Method in class circusRefine.core.print.ExprPrint

visitPrefixingAction(PrefixingAction) - Method in class circusRefine.core.print.ActionPrint

visitProcess1(Process1) - Method in class circusRefine.core.print.ProcessPrint

visitProcess2(Process2) - Method in class circusRefine.core.print.ProcessPrint

visitProcessD(ProcessD) - Method in class circusRefine.core.print.ProcessPrint

visitProcessIdx(ProcessIdx) - Method in class circusRefine.core.print.ProcessPrint

visitProcessIte(ProcessIte) - Method in class circusRefine.core.print.ProcessPrint

visitProcessPara(ProcessPara) - Method in class circusRefine.core.print.ParaPrint

visitProdExpr(ProdExpr) - Method in class circusRefine.core.print.ExprPrint

visitProjExpr(ProjExpr) - Method in class circusRefine.core.print.ExprPrint

visitQnt1Expr(Qnt1Expr) - Method in class circusRefine.core.print.ExprPrint

ExistsExpr, Exists1Expr, and ForallExpr instances are visited as an instance of their super class Qnt1Expr.

visitQntPred(QntPred) - Method in class circusRefine.core.print.PredPrint

Exists1Pred, ExistsPred, and ForallPred instances are visited as an instance of their super class QntPred.

visitQualifiedDecl(QualifiedDecl) - Method in class circusRefine.core.print.DeclPrint

visitRefExpr(RefExpr) - Method in class circusRefine.core.print.ExprPrint

visitRenameExpr(RenameExpr) - Method in class circusRefine.core.print.ExprPrint

visitRenameProcess(RenameProcess) - Method in class circusRefine.core.print.ProcessPrint

visitSchExpr(SchExpr) - Method in class circusRefine.core.print.ExprPrint

visitSchExpr2(SchExpr2) - Method in class circusRefine.core.print.ExprPrint

AndExpr, OrExpr, IffExpr, and ImpliesExpr objects are visited as an instance of their superclass SchExpr2.

visitSchExprAction(SchExprAction) - Method in class circusRefine.core.print.ActionPrint

visitSchText(SchText) - Method in class circusRefine.core.print.ExprPrint

visitSchText(SchText) - Method in class circusRefine.core.print.ParaPrint

visitSect(Sect) - Method in class circusRefine.core.print.ProgramPrint

Any "left over" sections.

visitSeqAction(SeqAction) - Method in class circusRefine.core.print.ActionPrint

visitSeqActionIte(SeqActionIte) - Method in class circusRefine.core.print.ActionPrint

visitSeqProcess(SeqProcess) - Method in class circusRefine.core.print.ProcessPrint

visitSeqProcessIdx(SeqProcessIdx) - Method in class circusRefine.core.print.ProcessPrint

visitSeqProcessIte(SeqProcessIte) - Method in class circusRefine.core.print.ProcessPrint

visitSetCompExpr(SetCompExpr) - Method in class circusRefine.core.print.ExprPrint

visitSetExpr(SetExpr) - Method in class circusRefine.core.print.ExprPrint

visitSkipAction(SkipAction) - Method in class circusRefine.core.print.ActionPrint

visitSpec(Spec) - Method in class circusRefine.core.print.ProgramPrint

visitSpecStmtCommand(SpecStmtCommand) - Method in class circusRefine.core.print.CommandPrint

visitStopAction(StopAction) - Method in class circusRefine.core.print.ActionPrint

visitSubstitutionAction(SubstitutionAction) - Method in class circusRefine.core.print.ActionPrint

visitTerm(Term) - Method in class circusRefine.core.crules.BuilderVisitor

Monta um termo de acordo com um termo depois da aplicacao de uma lei e um conjunto de Bindings

visitTerm(Term) - Method in class circusRefine.core.crules.UnifierVisitor

Visita a AST procurando Jokers para unificacao

visitTerm(Term) - Method in class circusRefine.core.crules.UpdateVisitor

Visita a AST a ser atualizada trocando o Nodo no qual foi aplicada a lei.

visitTerm(Term) - Method in class circusRefine.core.print.ParaPrint

visitTerm(Term) - Method in class circusRefine.core.print.Print

visitTerm(Term) - Method in class circusRefine.core.print.Printer

Double check that this visitor is not being asked to visit a non-Decl object.

visitTerm(Term) - Method in class circusRefine.core.util.ActionParaFinder

Percorre recursivamente a AST

visitTerm(Term) - Method in class circusRefine.core.util.ChildrenTermExtractor

Metodo util para retornar somente os filhos de uma termo que sao instancia de Term

visitTerm(Term) - Method in class circusRefine.core.util.ClonerVisitor

Percorre a AST recursivamente e clona seus termos

visitThetaExpr(ThetaExpr) - Method in class circusRefine.core.print.ExprPrint

visitTruePred(TruePred) - Method in class circusRefine.core.print.PredPrint

visitTupleExpr(TupleExpr) - Method in class circusRefine.core.print.ExprPrint

visitTupleSelExpr(TupleSelExpr) - Method in class circusRefine.core.print.ExprPrint

visitVarDecl(VarDecl) - Method in class circusRefine.core.print.DeclPrint

visitVarDeclCommand(VarDeclCommand) - Method in class circusRefine.core.print.CommandPrint

visitZSect(ZSect) - Method in class circusRefine.core.print.ProgramPrint

VL - Static variable in class circusRefine.UtilZString.ZChar

vertical line.

VL - Static variable in interface circusRefine.UtilZString.ZString

vertical line.