ca.uqac.lif.ecp.ltl

Class BinaryTemporalOperator<T extends Event>

java.lang.Object

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

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

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

public abstract class BinaryTemporalOperator<T extends Event>
extends NaryOperator<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.NaryOperator

m_operands, m_symbol

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

m_deleted, m_value

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	clean() Cleans the deleted nodes of the evaluation tree
void	clear() Clears the state of this operator
void	delete() Marks a node as deleted

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

acceptPostfix, acceptPrefix, addOperand, childrenCount, childrenEquals, copyInto, getRootSymbol, getTreeChildren, hashCode, size, 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

BinaryTemporalOperator

public BinaryTemporalOperator(java.lang.String symbol)

BinaryTemporalOperator

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

Method Detail

delete

public void delete()

Description copied from class: Operator

Marks a node as deleted

Overrides:

delete in class NaryOperator<T extends Event>

clear

public void clear()

Description copied from class: Operator

Clears the state of this operator

Overrides:

clear in class NaryOperator<T extends Event>

clean

public void clean()

Description copied from class: Operator

Cleans the deleted nodes of the evaluation tree

Overrides:

clean in class NaryOperator<T extends Event>