Uses of Class
org.processmining.plugins.ltlchecker.parser.SetAttribute

Packages that use SetAttribute

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

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

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

Modifier and Type	Method and Description
void	SetCompNode.setAttribute(SetAttribute attr) Set the attribute of this node.
void	SetValueNode.setValue(SetAttribute val) Set the value.

Uses of SetAttribute in org.processmining.plugins.ltlchecker.parser

Subclasses of SetAttribute in org.processmining.plugins.ltlchecker.parser

Modifier and Type	Class and Description
class	ConceptSetAttribute