Uses of Class
org.processmining.plugins.ltlchecker.formulatree.SetValueNode

Packages that use SetValueNode

Package	Description
org.processmining.plugins.ltlchecker.formulatree
org.processmining.plugins.ltlchecker.util

Uses of SetValueNode in org.processmining.plugins.ltlchecker.formulatree

Methods in org.processmining.plugins.ltlchecker.formulatree with parameters of type SetValueNode

Modifier and Type	Method and Description
void	SetCompNode.setValue(SetValueNode val) Set the righthand side value of this node.

Uses of SetValueNode in org.processmining.plugins.ltlchecker.util

Methods in org.processmining.plugins.ltlchecker.util that return SetValueNode

Modifier and Type	Method and Description
SetValueNode	ParamData.createSetValueNode(java.lang.String value, int indexInTable)