ca.uqac.lif.ecp.ltl

Class TruthConstant<T extends Event>

java.lang.Object

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

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

public class TruthConstant<T extends Event>
extends Operator<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 TruthConstant<T>	m_false The constant associated to the value true
protected TruthConstant<T>	m_inconclusive The constant associated to the value inconclusive
protected TruthConstant<T>	m_true The constant associated to the value true
protected Operator.Value	m_value The truth value

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

m_deleted

Constructor Summary

Constructors

Constructor and Description
TruthConstant(Operator.Value v)

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
void	addOperand(Operator<T> op) Adds an operand to this operator
void	clean() Cleans the deleted nodes of the evaluation tree
Operator<T>	copy(boolean with_tree) Creates a deep copy of this operator
void	delete() Marks a node as deleted
void	evaluate(T event) Evaluates the operator on the new event
TruthConstant<T>	getConstant(java.lang.Boolean b) Gets an instance of truth constant based on a Boolean value
TruthConstant<T>	getConstant(Operator.Value v) Gets an instance of truth constant based on a truth value
java.lang.String	getRootSymbol() Gets the symbol of the operator for the root of the evaluation tree
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, acceptPrefix, clear, copy, copyInto, evaluate, getValue, isDeleted, size

Methods inherited from class java.lang.Object

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

Field Detail

m_value

protected final Operator.Value m_value

The truth value

m_true

protected final TruthConstant<T extends Event> m_true

The constant associated to the value true

m_false

protected final TruthConstant<T extends Event> m_false

The constant associated to the value true

m_inconclusive

protected final TruthConstant<T extends Event> m_inconclusive

The constant associated to the value inconclusive

Constructor Detail

TruthConstant

public TruthConstant(Operator.Value v)

Method Detail

copy

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

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

delete

public void delete()

Description copied from class: Operator

Marks a node as deleted

Specified by:

delete in class Operator<T extends Event>

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

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

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)

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

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

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>

getConstant

public TruthConstant<T> getConstant(Operator.Value v)

Gets an instance of truth constant based on a truth value

Parameters:

v - The value

Returns:

The truth constant

getConstant

public TruthConstant<T> getConstant(java.lang.Boolean b)

Gets an instance of truth constant based on a Boolean value

Parameters:

b - The value

Returns:

The truth constant