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

L

L - Static variable in class circusRefine.UtilCircus.CircusChar

L - Static variable in interface circusRefine.UtilCircus.CircusString

LAMBDA - Static variable in class circusRefine.UtilZString.ZChar

Greek small letter lambda.

LAMBDA - Static variable in interface circusRefine.UtilZString.ZString

Greek small letter lambda.

LANGLE - Static variable in class circusRefine.UtilZString.ZChar

mathmatical left angle bracket.

LANGLE - Static variable in interface circusRefine.UtilZString.ZString

mathmatical left angle bracket.

Latex - Static variable in class circusRefine.core.print.Printer

Latex - Static variable in class circusRefine.gui.TelaCodigo

Latex - Static variable in class circusRefine.gui.TelaDesenvolvimento

LatexToCircus - Class in circusRefine.UtilCircus

LatexToCircus() - Constructor for class circusRefine.UtilCircus.LatexToCircus

LatexToZ - Class in circusRefine.UtilZString

LatexToZ() - Constructor for class circusRefine.UtilZString.LatexToZ

LBIND - Static variable in class circusRefine.UtilZString.ZChar

left binding bracket.

LBIND - Static variable in interface circusRefine.UtilZString.ZString

left binding bracket.

LBRACE - Static variable in class circusRefine.UtilZString.ZChar

left curly bracket.

LBRACE - Static variable in interface circusRefine.UtilZString.ZString

left curly bracket.

LCIRCCHANSET - Static variable in class circusRefine.UtilCircus.CircusChar

left channel set bracket.

LCIRCCHANSET - Static variable in interface circusRefine.UtilCircus.CircusString

left channel set bracket.

LCIRCGUARD - Static variable in class circusRefine.UtilCircus.CircusChar

left guarded action bracket.

LCIRCGUARD - Static variable in interface circusRefine.UtilCircus.CircusString

left guarded action bracket.

LCIRCRENAME - Static variable in class circusRefine.UtilCircus.CircusChar

left process renaming bracket.

LCIRCRENAME - Static variable in interface circusRefine.UtilCircus.CircusString

left process renaming bracket.

LDATA - Static variable in class circusRefine.UtilZString.ZChar

mathmatical left double angle bracket.

LDATA - Static variable in interface circusRefine.UtilZString.ZString

mathmatical left double angle bracket.

LEFTASSOC - Static variable in interface circusRefine.UtilZString.ZString

LEQ - Static variable in class circusRefine.UtilZString.ZChar

less-than or equal to.

LEQ - Static variable in interface circusRefine.UtilZString.ZString

less-than or equal to.

LESS - Static variable in class circusRefine.UtilZString.ZChar

less-than sign.

LESS - Static variable in interface circusRefine.UtilZString.ZString

less-than sign.

LET - Static variable in interface circusRefine.UtilZString.ZString

LIMG - Static variable in class circusRefine.UtilZString.ZChar

left image bracket.

LIMG - Static variable in interface circusRefine.UtilZString.ZString

left image bracket.

limparTexto() - Method in class circusRefine.gui.TelaCodigo

Limpa o conteúdo de texto que está na tela de código.

LINTER - Static variable in class circusRefine.UtilCircus.CircusChar

left interleave bracket.

LINTER - Static variable in interface circusRefine.UtilCircus.CircusString

left interleave bracket.

listarCodigosAtuais() - Method in class circusRefine.core.GerenciadorExterno

LISTARG - Static variable in interface circusRefine.UtilZString.ZString

LISTARG_TOK - Static variable in interface circusRefine.UtilZString.ZString

When a list of operator tokens is represented as a string, LISTARG_TOK stands for an EXPRESSION-LIST argument.

listarNomesActionsPara() - Method in class circusRefine.core.GerenciadorInterno

Percorre a AST atual e lista os nomes de todas as acoes presentes no refinamento atual do Circus Refine.

listarNomesActionsPara(List<String>) - Method in class circusRefine.gui.TelaPrincipal

Metodo utilizado para atualizar o JComboBox que contem as ações a serem coletadas

listarObrigacoes(List<String>) - Method in class circusRefine.gui.TelaObrigacao

Método que seta as variáveis da tela com uma nova obrigação de prova.

LL - Static variable in class circusRefine.UtilZString.ZChar

low line.

LL - Static variable in interface circusRefine.UtilZString.ZString

low line.

localVisitBranch(Branch) - Method in class circusRefine.core.print.ParaPrint

LPAR - Static variable in class circusRefine.UtilCircus.CircusChar

left parallel bracket.

LPAR - Static variable in interface circusRefine.UtilCircus.CircusString

left parallel bracket.

LPAREN - Static variable in class circusRefine.UtilZString.ZChar

left parenthesis.

LPAREN - Static variable in interface circusRefine.UtilZString.ZString

left parenthesis.

LREFINEMENT - Static variable in class circusRefine.UtilZString.ZChar

symbol of refinement

LREFINEMENT - Static variable in interface circusRefine.UtilZString.ZString

LSCHEXPRACT - Static variable in class circusRefine.UtilCircus.CircusChar

left schema expression action bracket.

LSCHEXPRACT - Static variable in interface circusRefine.UtilCircus.CircusString

left schema expression action bracket.

LSQUARE - Static variable in class circusRefine.UtilZString.ZChar

left square bracket.

LSQUARE - Static variable in interface circusRefine.UtilZString.ZString

left square bracket.