ca.uqac.lif.ecp.ltl

Class Atom<T extends Event>

java.lang.Object

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

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

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

Type Parameters:

T - The event type

public class Atom<T extends Event>
extends GroundTerm<T>

Ground term that asserts that the current event is equal to the event associated to this term

Author:

Sylvain Hallé

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 T	m_event The event that this atom asserts

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
Atom(T e)

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
Atom<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
T	getEvent() Gets the event that this atom asserts
java.lang.String	getRootSymbol() Gets the symbol of the operator for the root of the evaluation tree
int	hashCode()
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, copyInto, evaluate, getValue, isDeleted, size

Methods inherited from class java.lang.Object

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

Field Detail

m_event

protected final T extends Event m_event

The event that this atom asserts

Constructor Detail

Atom

public Atom(T e)

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

getEvent

public T getEvent()

Gets the event that this atom asserts

Returns:

The event

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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

copy

public Atom<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

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)

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