ca.uqac.lif.ecp.ltl

Class UnaryTemporalOperator<T extends Event>

java.lang.Object

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

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

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

Direct Known Subclasses:

Eventually, Globally, Next

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

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_instantiatedTrees

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

m_operand, m_symbol

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

m_deleted, m_value

Constructor Summary

Constructors

Constructor and Description
UnaryTemporalOperator(java.lang.String symbol)
UnaryTemporalOperator(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	clean() Cleans the deleted nodes of the evaluation tree
void	clear() Clears the state of this operator
protected void	copyInto(UnaryTemporalOperator<T> o, boolean with_tree) Copies the internal content of this operator into a new instance
void	delete() Marks a node as deleted
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

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

addOperand, copyInto, getRootSymbol, 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_instantiatedTrees

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

Constructor Detail

UnaryTemporalOperator

public UnaryTemporalOperator(java.lang.String symbol)

UnaryTemporalOperator

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

Method Detail

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

copyInto

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

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

Overrides:

acceptPrefix in class UnaryOperator<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

Overrides:

acceptPostfix in class UnaryOperator<T extends Event>

Parameters:

visitor - The visitor

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

size

public int size(boolean with_tree)

Description copied from class: Operator

Gets the size of this formula

Overrides:

size in class UnaryOperator<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

Overrides:

getTreeChildren in class UnaryOperator<T extends Event>

Returns:

The children

delete

public void delete()

Description copied from class: Operator

Marks a node as deleted

Overrides:

delete in class UnaryOperator<T extends Event>

clear

public void clear()

Description copied from class: Operator

Clears the state of this operator

Overrides:

clear in class UnaryOperator<T extends Event>

clean

public void clean()

Description copied from class: Operator

Cleans the deleted nodes of the evaluation tree

Overrides:

clean in class UnaryOperator<T extends Event>