ca.uqac.lif.ecp.ltl

Class Eventually<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>

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

public class Eventually<T extends Event>
extends UnaryTemporalOperator<T>

Nested Class Summary

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

Operator.Value

Field Summary

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

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
Eventually()
Eventually(Operator<T> operand)

Method Summary

Modifier and Type	Method and Description
Eventually<T>	copy(boolean with_tree) Creates a deep copy of this operator
boolean	equals(java.lang.Object o)
void	evaluate(T event) Evaluates the operator on the new event
int	hashCode()

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

acceptPostfix, acceptPrefix, clean, clear, copyInto, delete, getTreeChildren, hashCode, size

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, copyInto, evaluate, getValue, isDeleted, size

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Eventually

public Eventually()

Eventually

public Eventually(Operator<T> operand)

Method Detail

evaluate

public void evaluate(T event)

Description copied from class: Operator

Evaluates the operator on the new event

Specified by:

evaluate in class Operator<T extends Event>

Parameters:

event - The event

copy

public Eventually<T> copy(boolean with_tree)

Description copied from class: Operator

Creates a deep copy of this operator

Specified by:

copy in class Operator<T extends Event>

Parameters:

with_tree - If set to true, will also copy the evaluation tree

Returns:

The copy

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object