org.processmining.plugins.ltlchecker.formulatree

Class UnaryNode

java.lang.Object

org.processmining.plugins.ltlchecker.formulatree.TreeNode

org.processmining.plugins.ltlchecker.formulatree.FormulaNode

org.processmining.plugins.ltlchecker.formulatree.UnaryNode

Direct Known Subclasses:

AlwaysNode, EventuallyNode, NexttimeNode, NotNode

public abstract class UnaryNode
extends FormulaNode

UnaryNode is a node class of the formula tree denoting unary logic operators, like not, always, etc.

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

Method Summary

Modifier and Type	Method and Description
FormulaNode	getChild()
protected abstract java.lang.String	getOperator()
void	setChild(FormulaNode child) Set the child node with the formula the child is.
java.lang.String	toString() Write this node as a string

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

value

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

UnaryNode

public UnaryNode()

Method Detail

setChild

public void setChild(FormulaNode child)

Set the child node with the formula the child is.

Parameters:

child - The child node.

getChild

public FormulaNode getChild()

getOperator

protected abstract java.lang.String getOperator()

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