ca.uqac.lif.ecp.ltl

Class NaryOperator<T extends Event>

java.lang.Object

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

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

Type Parameters:

T - The event type

Direct Known Subclasses:

And, BinaryTemporalOperator, Implies, Or, Release, Until, WeakUntil

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

Basic functionalities associated to a n-ary 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 java.util.List<Operator<T>>	m_operands
protected java.lang.String	m_symbol

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

m_deleted, m_value

Constructor Summary

Constructors

Constructor and Description
NaryOperator(java.lang.String symbol)
NaryOperator(java.lang.String symbol, java.lang.Object... ops)

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
int	childrenCount() Gets the number of children in the expression
protected boolean	childrenEquals(NaryOperator<T> o) Checks whether the children of this operator are equal to that of another n-ary operator.
void	clean() Cleans the deleted nodes of the evaluation tree
void	clear() Clears the state of this operator
protected void	copyInto(NaryOperator<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
protected int	hashCode(int start_value) Computes the hash code of this n-ary operator, starting from an initial value
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_operands

protected java.util.List<Operator<T extends Event>> m_operands

m_symbol

protected final java.lang.String m_symbol

Constructor Detail

NaryOperator

public NaryOperator(java.lang.String symbol)

NaryOperator

public NaryOperator(java.lang.String symbol,
                    java.lang.Object... ops)

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

hashCode

protected int hashCode(int start_value)

Computes the hash code of this n-ary operator, starting from an initial value

Parameters:

start_value - The initial value

Returns:

The hash code

childrenEquals

protected boolean childrenEquals(NaryOperator<T> o)

Checks whether the children of this operator are equal to that of another n-ary operator. This check takes into account the fact that children that are marked as deleted in either operator should be skipped.

Parameters:

o - The other operator

Returns:

true if their children are equal, false otherwise

copyInto

protected void copyInto(NaryOperator<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

childrenCount

public int childrenCount()

Gets the number of children in the expression

Returns:

The number of children

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>