ca.uqac.lif.ecp.ltl

Class UnaryOperator<T extends Event>

java.lang.Object

ca.uqac.lif.ecp.ltl.Operator<T>

ca.uqac.lif.ecp.ltl.UnaryOperator<T>

Type Parameters:

T - The event type

Direct Known Subclasses:

Not, UnaryTemporalOperator

public abstract class UnaryOperator<T extends Event>
extends Operator<T>

Basic functionalities associated to a unary logical operator

Author:

Sylvain Hallé

Nested Class Summary

Nested classes/interfaces inherited from class ca.uqac.lif.ecp.ltl.Operator

Operator.Value

Field Summary

Fields

Modifier and Type	Field and Description
protected Operator<T>	m_operand The operand of this unary operator
protected java.lang.String	m_symbol The symbol to display for this operator

Fields inherited from class ca.uqac.lif.ecp.ltl.Operator

m_deleted, m_value

Constructor Summary

Constructors

Constructor and Description
UnaryOperator(java.lang.String symbol) Creates a new unary operator
UnaryOperator(java.lang.String symbol, Operator<T> operand)

Method Summary

Modifier and Type	Method and Description
void	acceptPostfix(HologramVisitor<T> visitor, boolean in_tree) Accepts a hologram visitor into the evaluation tree for this operator
void	acceptPrefix(HologramVisitor<T> visitor, boolean in_tree) Accepts a hologram visitor into the evaluation tree for this operator
void	addOperand(Operator<T> op) Adds an operand to this operator
void	clean() Cleans the deleted nodes of the evaluation tree
void	clear() Clears the state of this operator
protected void	copyInto(UnaryOperator<T> o, boolean with_tree) Copies the internal content of this operator into a new instance
void	delete() Marks a node as deleted
java.lang.String	getRootSymbol() Gets the symbol of the operator for the root of the evaluation tree
java.util.List<Operator<T>>	getTreeChildren() Gets the ordered list of the children in the evaluation tree for this operator
int	size(boolean with_tree) Gets the size of this formula
java.lang.String	toString()

Methods inherited from class ca.uqac.lif.ecp.ltl.Operator

acceptPostfix, acceptPrefix, copy, copy, copyInto, evaluate, evaluate, getValue, isDeleted, size

Methods inherited from class java.lang.Object

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

Field Detail

m_operand

protected Operator<T extends Event> m_operand

The operand of this unary operator

m_symbol

protected final java.lang.String m_symbol

The symbol to display for this operator

Constructor Detail

UnaryOperator

public UnaryOperator(java.lang.String symbol)

Creates a new unary operator

Parameters:

symbol - The symbol to display for this operator

UnaryOperator

public UnaryOperator(java.lang.String symbol,
                     Operator<T> operand)

Method Detail

addOperand

public void addOperand(Operator<T> op)

Description copied from class: Operator

Adds an operand to this operator

Specified by:

addOperand in class Operator<T extends Event>

Parameters:

op - The operand

copyInto

protected void copyInto(UnaryOperator<T> o,
                        boolean with_tree)

Copies the internal content of this operator into a new instance

Parameters:

o - The new instance

with_tree - Set to true to also copy data related to the operator's evaluation tree

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

acceptPrefix

public void acceptPrefix(HologramVisitor<T> visitor,
                         boolean in_tree)

Description copied from class: Operator

Accepts a hologram visitor into the evaluation tree for this operator

Specified by:

acceptPrefix in class Operator<T extends Event>

Parameters:

visitor - The visitor

in_tree - Whether to visit the evaluation tree (true) or the formula (false)

acceptPostfix

public void acceptPostfix(HologramVisitor<T> visitor,
                          boolean in_tree)

Description copied from class: Operator

Accepts a hologram visitor into the evaluation tree for this operator

Specified by:

acceptPostfix in class Operator<T extends Event>

Parameters:

visitor - The visitor

in_tree - Whether to visit the evaluation tree (true) or the formula (false)

getRootSymbol

public java.lang.String getRootSymbol()

Description copied from class: Operator

Gets the symbol of the operator for the root of the evaluation tree

Specified by:

getRootSymbol in class Operator<T extends Event>

Returns:

The symbol

size

public int size(boolean with_tree)

Description copied from class: Operator

Gets the size of this formula

Specified by:

size in class Operator<T extends Event>

Parameters:

with_tree - If set to true, will compute the size of the evaluation tree of this formula instead

Returns:

The size

getTreeChildren

public java.util.List<Operator<T>> getTreeChildren()

Description copied from class: Operator

Gets the ordered list of the children in the evaluation tree for this operator

Specified by:

getTreeChildren in class Operator<T extends Event>

Returns:

The children

delete

public void delete()

Description copied from class: Operator

Marks a node as deleted

Specified by:

delete in class Operator<T extends Event>

clear

public void clear()

Description copied from class: Operator

Clears the state of this operator

Overrides:

clear in class Operator<T extends Event>

clean

public void clean()

Description copied from class: Operator

Cleans the deleted nodes of the evaluation tree

Specified by:

clean in class Operator<T extends Event>