org.processmining.plugins.ltlchecker.formulatree

Class DateCompNode

java.lang.Object

org.processmining.plugins.ltlchecker.formulatree.TreeNode

org.processmining.plugins.ltlchecker.formulatree.FormulaNode

org.processmining.plugins.ltlchecker.formulatree.CompNode

org.processmining.plugins.ltlchecker.formulatree.DateCompNode

public class DateCompNode
extends CompNode

DateCompNode is a node class of the formula tree denoting comparator operators for dates: ==, !=, <=, >=, < and >.

Version:

0.2

Author:

HT de Beer, Fabrizio M. Maggi

Field Summary

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

BIGGER, BIGGEREQUAL, EQUAL, IN, LESSER, LESSEREQUAL, NOTEQUAL, REGEXPEQUAL

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

nr

Constructor Summary

Constructors

Constructor and Description
DateCompNode(int op)

Method Summary

Modifier and Type	Method and Description
void	setAttribute(DateAttribute attr) Set the attribute of this node.
void	setValue(DateValueNode val) Set the righthand side value of this node.
java.lang.String	toString() Write this node as a string
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 children.

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

opAsString

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

DateCompNode

public DateCompNode(int op)

Method Detail

setAttribute

public void setAttribute(DateAttribute attr)

Set the attribute of this node.

Parameters:

attr - The attribute to set.

setValue

public void setValue(DateValueNode val)

Set the righthand side value of this node.

Parameters:

val - The value of this node.

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

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 children applied to the operator of this node.

toString

public java.lang.String toString()

Description copied from class: FormulaNode

Write this node as a string

Specified by:

toString in class FormulaNode

Returns:

this node as a string