ca.uqac.lif.ecp.ltl

Class Equals<T extends Event,U>

java.lang.Object

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

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

ca.uqac.lif.ecp.ltl.ValueExpression<T,V>

ca.uqac.lif.ecp.ltl.BinaryValueExpression<T,U,Operator.Value>

ca.uqac.lif.ecp.ltl.Equals<T,U>

Type Parameters:

T - The type of events

U - The type of values that are being compared

public class Equals<T extends Event,U>
extends BinaryValueExpression<T,U,Operator.Value>

Expression comparing the value of two quantities. It returns true when they are equal. The rule for determining equality is defined in TypeHelper.valueEquals(Object, Object).

Author:

Sylvain Hallé

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.BinaryValueExpression

m_leftValue, m_rightValue

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

m_eventSeen

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

m_deleted, m_value

Constructor Summary

Constructors

Constructor and Description
Equals(ConcreteValue<T,U> left, ConcreteValue<T,U> right)

Method Summary

Modifier and Type	Method and Description
void	clean() Cleans the deleted nodes of the evaluation tree
Equals<T,U>	copy(boolean with_tree) Creates a deep copy of this operator
void	evaluate(T event) Evaluates the operator on the new event
java.lang.String	getRootSymbol() Gets the symbol of the operator for the root of the evaluation tree

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

acceptPostfix, acceptPrefix, toString

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

addOperand, clear, delete, getTreeChildren, size

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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Equals

public Equals(ConcreteValue<T,U> left,
              ConcreteValue<T,U> right)

Method Detail

copy

public Equals<T,U> 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

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

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

clean

public void clean()

Description copied from class: Operator

Cleans the deleted nodes of the evaluation tree

Overrides:

clean in class GroundTerm<T extends Event>