Uses of Class
edu.illinois.cs.cogcomp.lbjava.infer.ExistentialQuantifier

Packages that use ExistentialQuantifier

Package	Description
edu.illinois.cs.cogcomp.lbjava.infer

Uses of ExistentialQuantifier in edu.illinois.cs.cogcomp.lbjava.infer

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

Modifier and Type	Method and Description
void	Inference.visit(ExistentialQuantifier c) Derived classes override this method to do some type of processing on constraints of the parameter's type.