org.processmining.plugins.ltlchecker.formulatree

Class BinaryNode

java.lang.Object

org.processmining.plugins.ltlchecker.formulatree.TreeNode

org.processmining.plugins.ltlchecker.formulatree.FormulaNode

org.processmining.plugins.ltlchecker.formulatree.BinaryNode

Direct Known Subclasses:

AndNode, BiimpliesNode, ImpliesNode, OrNode, UntilNode

public abstract class BinaryNode
extends FormulaNode

BinaryNode is a node class of the formula tree denoting binary logic operators, like and, or, until, 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
BinaryNode()

Method Summary

Modifier and Type	Method and Description
FormulaNode	getLeftChild()
protected abstract java.lang.String	getOperator()
FormulaNode	getRightChild()
void	setLeftChild(FormulaNode child) Set the left child node with the formula the child is.
void	setRightChild(FormulaNode child) Set the right 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

BinaryNode

public BinaryNode()

Method Detail

setLeftChild

public void setLeftChild(FormulaNode child)

Set the left child node with the formula the child is.

Parameters:

child - The left child node.

setRightChild

public void setRightChild(FormulaNode child)

Set the right child node with the formula the child is.

Parameters:

child - The right child node.

getLeftChild

public FormulaNode getLeftChild()

getRightChild

public FormulaNode getRightChild()

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