org.processmining.plugins.ltlchecker.formulatree

Class TreeNode

java.lang.Object

org.processmining.plugins.ltlchecker.formulatree.TreeNode

Direct Known Subclasses:

FormulaNode, RootNode, ValueNode

public class TreeNode
extends java.lang.Object

Main class for treenodes, for formula nodes as well as for valuenodes.

Version:

0.1

Author:

HT de Beer, Fabrizio M. Maggi

Field Summary

Fields

Modifier and Type	Field and Description
protected int	nr The number of ate in pi currently working on.

Constructor Summary

Constructors

Constructor and Description
TreeNode()

Method Summary

Modifier and Type	Method and Description
int	getNr()

Methods inherited from class java.lang.Object

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

Field Detail

nr

protected int nr

The number of ate in pi currently working on. This is needed for binding values: which ate to use to get the value?

Constructor Detail

TreeNode

public TreeNode()

Method Detail

getNr

public int getNr()