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

U

UndoRedoTerms - Class in circusRefine.core

Armazena os termos necessários para as operações de undo e redo no Gerenciador Interno.

UndoRedoTerms(Term, Term, Term) - Constructor for class circusRefine.core.UndoRedoTerms

Inicializa os termos para a atualizacao

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

Unicode - Static variable in class circusRefine.gui.TelaCodigo

Unicode - Static variable in class circusRefine.gui.TelaDesenvolvimento

Unicoded - Variable in class circusRefine.core.print.Printer

UnifierVisitor - Class in circusRefine.core.crules

A classe que implementa o visitor para unificacao

UnifierVisitor(Term) - Constructor for class circusRefine.core.crules.UnifierVisitor

Construtor padrao

unify(Term, Term) - Static method in class circusRefine.core.crules.CRulesUtils

Metodo util para unificar 2 termos, um com o programa no qual sera aplicado uma lei e outro com o Spec da lei

unifyArgs(List, List) - Static method in class circusRefine.core.CircusRefineCore

UNLOAD - Static variable in class circusRefine.gui.TelaPrincipal

update(Term, Term, Term) - Static method in class circusRefine.core.crules.CRulesUtils

Atualiza uma AST

UpdateVisitor - Class in circusRefine.core.crules

UpdateVisitor(Term, Term) - Constructor for class circusRefine.core.crules.UpdateVisitor

Inicializa o Visitor com um termo a ser substituido por um termo substituto

UPTO - Static variable in interface circusRefine.UtilZString.ZString