org.processmining.plugins.ltlchecker.formulatree

Class ForallNode

java.lang.Object

org.processmining.plugins.ltlchecker.formulatree.TreeNode

org.processmining.plugins.ltlchecker.formulatree.FormulaNode

org.processmining.plugins.ltlchecker.formulatree.QuantorNode

org.processmining.plugins.ltlchecker.formulatree.ForallNode

public class ForallNode
extends QuantorNode

ForallNode is a node class of the formula tree denoting the for all quantor.

Version:

0.1

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
ForallNode()

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.QuantorNode

addChild, 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

ForallNode

public ForallNode()

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 QuantorNode