Uses of Class
edu.illinois.cs.cogcomp.lbjava.IR.UniversalQuantifierExpression

Packages that use UniversalQuantifierExpression

Package	Description
edu.illinois.cs.cogcomp.lbjava

Uses of UniversalQuantifierExpression in edu.illinois.cs.cogcomp.lbjava

Methods in edu.illinois.cs.cogcomp.lbjava with parameters of type UniversalQuantifierExpression

Modifier and Type	Method and Description
void	SemanticAnalysis.run(UniversalQuantifierExpression q) Runs this pass on all nodes of the indicated type.
void	TranslateToJava.run(UniversalQuantifierExpression e) Runs this pass on all nodes of the indicated type.
void	PrintAST.run(UniversalQuantifierExpression node) Runs this pass on all nodes of the indicated type.
void	Pass.run(UniversalQuantifierExpression node) One of the recursive "helper" methods for run().