Uses of Class
net.sourceforge.czt.animation.eval.flatpred.FlatForall

Packages that use FlatForall

Package	Description
net.sourceforge.czt.animation.eval.flatpred
net.sourceforge.czt.animation.eval.flatvisitor

Uses of FlatForall in net.sourceforge.czt.animation.eval.flatpred

Subclasses of FlatForall in net.sourceforge.czt.animation.eval.flatpred

Modifier and Type	Class and Description
class	FlatExists This implements the exists quantifier.

Uses of FlatForall in net.sourceforge.czt.animation.eval.flatvisitor

Methods in net.sourceforge.czt.animation.eval.flatvisitor with parameters of type FlatForall

Modifier and Type	Method and Description
R	FlatForallVisitor.visitFlatForall(FlatForall term) Visits a FlatForall