ca.uqac.lif.ecp.ltl

Class GroundTerm<T extends Event>

java.lang.Object

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

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

Type Parameters:

T -

Direct Known Subclasses:

Atom, ValueExpression

public abstract class GroundTerm<T extends Event>
extends Operator<T>

Ground term of an expression

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 EventLeaf<T>	m_eventSeen The event we've seen when we evaluated the atom

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

m_deleted, m_value

Constructor Summary

Constructors

Constructor and Description
GroundTerm()

Method Summary

Modifier and Type	Method and Description
void	addOperand(Operator<T> op) Adds an operand to this operator
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
java.util.List<Operator<T>>	getTreeChildren() Gets the ordered list of the children in the evaluation tree for this operator
int	size(boolean with_tree) Gets the size of this formula

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

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

Methods inherited from class java.lang.Object

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

Field Detail

m_eventSeen

protected EventLeaf<T extends Event> m_eventSeen

The event we've seen when we evaluated the atom

Constructor Detail

GroundTerm

public GroundTerm()

Method Detail

size

public int size(boolean with_tree)

Description copied from class: Operator

Gets the size of this formula

Specified by:

size in class Operator<T extends Event>

Parameters:

with_tree - If set to true, will compute the size of the evaluation tree of this formula instead

Returns:

The size

getTreeChildren

public java.util.List<Operator<T>> getTreeChildren()

Description copied from class: Operator

Gets the ordered list of the children in the evaluation tree for this operator

Specified by:

getTreeChildren in class Operator<T extends Event>

Returns:

The children

delete

public void delete()

Description copied from class: Operator

Marks a node as deleted

Specified by:

delete in class Operator<T extends Event>

addOperand

public void addOperand(Operator<T> op)

Description copied from class: Operator

Adds an operand to this operator

Specified by:

addOperand in class Operator<T extends Event>

Parameters:

op - The operand

clear

public void clear()

Description copied from class: Operator

Clears the state of this operator

Overrides:

clear in class Operator<T extends Event>

clean

public void clean()

Description copied from class: Operator

Cleans the deleted nodes of the evaluation tree

Specified by:

clean in class Operator<T extends Event>