org.processmining.plugins.ltlchecker.formulatree

Class QuantorNode

java.lang.Object

org.processmining.plugins.ltlchecker.formulatree.TreeNode

org.processmining.plugins.ltlchecker.formulatree.FormulaNode

org.processmining.plugins.ltlchecker.formulatree.QuantorNode

Direct Known Subclasses:

ExistsNode, ForallNode

public abstract class QuantorNode
extends FormulaNode

QuantorNode is a node class of the formula tree denoting the quantors for all and exists.

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

Method Summary

Modifier and Type	Method and Description
void	addChild(FormulaNode child) Add a child node with the formula the child is.
protected abstract java.lang.String	getOperator()
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

QuantorNode

public QuantorNode()

Method Detail

addChild

public void addChild(FormulaNode child)

Add a child node with the formula the child is.

Parameters:

child - The child node.

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