Uses of Class
net.sourceforge.czt.animation.eval.result.RelSet

Packages that use RelSet

Package	Description
net.sourceforge.czt.animation.eval	CZT ZLive Animator
net.sourceforge.czt.animation.eval.result

Uses of RelSet in net.sourceforge.czt.animation.eval

Methods in net.sourceforge.czt.animation.eval that return RelSet

Modifier and Type	Method and Description
static RelSet	FlattenVisitor.getRelSet(net.sourceforge.czt.z.ast.LetExpr e) Non-null result means this LET encodes a relation/function space.

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

Modifier and Type	Method and Description
net.sourceforge.czt.base.ast.Term	ResultTreeToZVisitor.visitRelSet(RelSet relSet) We do not attempt to enumerate function spaces, since this is rarely useful -- they are usually too big, and they are usually used for membership tests.

Uses of RelSet in net.sourceforge.czt.animation.eval.result

Methods in net.sourceforge.czt.animation.eval.result with parameters of type RelSet

Modifier and Type	Method and Description
R	RelSetVisitor.visitRelSet(RelSet term) Visits a RelSet.