org.processmining.plugins.ltlchecker.formulatree

Class AlwaysNode

java.lang.Object

org.processmining.plugins.ltlchecker.formulatree.TreeNode

org.processmining.plugins.ltlchecker.formulatree.FormulaNode

org.processmining.plugins.ltlchecker.formulatree.UnaryNode

org.processmining.plugins.ltlchecker.formulatree.AlwaysNode

public class AlwaysNode
extends UnaryNode

AlwaysNode is a node class of the formula tree denoting the always operator.

Version:

0.2

Author:

HT de Beer, Fabrizio M. Maggi

Field Summary

Fields inherited from class org.processmining.plugins.ltlchecker.formulatree.TreeNode

nr

Constructor Summary

Constructors

Constructor and Description
AlwaysNode()

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	getOperator()
boolean	value(org.deckfour.xes.model.XTrace pi, java.util.LinkedList ates, int ateNr) Compute the value of this node, that is te value of this node given the i-th ate of pi, computed by calling the value method of the child.

Methods inherited from class org.processmining.plugins.ltlchecker.formulatree.UnaryNode

getChild, setChild, toString

Methods inherited from class org.processmining.plugins.ltlchecker.formulatree.TreeNode

getNr

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AlwaysNode

public AlwaysNode()

Method Detail

value

public boolean value(org.deckfour.xes.model.XTrace pi,
                     java.util.LinkedList ates,
                     int ateNr)

Compute the value of this node, that is te value of this node given the i-th ate of pi, computed by calling the value method of the child.

Specified by:

value in class FormulaNode

Parameters:

pi - The current process instance.

ate - The current audit trail entry of pi.

Returns:

The value of this node computed by calling the value method of the child applied to the operator of this node.

getOperator

protected java.lang.String getOperator()

Specified by:

getOperator in class UnaryNode