ca.uqac.lif.ecp.ltl

Class BinaryValueExpression<T extends Event,U,V>

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,V>

Direct Known Subclasses:

Equals, GreaterThan, LessThan

public abstract class BinaryValueExpression<T extends Event,U,V>
extends ValueExpression<T,V>

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 ConcreteValue<T,U>	m_leftValue The value of the left-hand side expression
protected ConcreteValue<T,U>	m_rightValue The value of the right-hand side expression

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
BinaryValueExpression(ConcreteValue<T,U> left, ConcreteValue<T,U> right)

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
java.lang.String	toString()

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

addOperand, clean, clear, delete, getTreeChildren, size

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

acceptPostfix, acceptPrefix, copy, copy, copyInto, evaluate, evaluate, getRootSymbol, getValue, isDeleted, size

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

m_leftValue

protected ConcreteValue<T extends Event,U> m_leftValue

The value of the left-hand side expression

m_rightValue

protected ConcreteValue<T extends Event,U> m_rightValue

The value of the right-hand side expression

Constructor Detail

BinaryValueExpression

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

Method Detail

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)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object